Skip to content

fix(scripts): SOURCES_COVERED asks every package, ledgered or not - #15482

Merged
baozhoutao merged 3 commits into
mainfrom
claude/issue-14918-type-check-coverage-sources-clause
Sep 4, 2026
Merged

fix(scripts): SOURCES_COVERED asks every package, ledgered or not#15482
baozhoutao merged 3 commits into
mainfrom
claude/issue-14918-type-check-coverage-sources-clause

fix(scripts): the scope line names the population it cannot speak for

a103ce2
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar