Skip to content

ci: add strict-no-cover to detect unnecessary coverage pragmas#1897

Merged
Kludex merged 9 commits intomainfrom
add-strict-no-cover
Jan 23, 2026
Merged

ci: add strict-no-cover to detect unnecessary coverage pragmas#1897
Kludex merged 9 commits intomainfrom
add-strict-no-cover

Commits

Commits on Jan 23, 2026