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

Commits

Commits on Sep 4, 2026