fix: count each coverage block once regardless of cache warmth - #381

Merged

OmarAlJarrah merged 7 commits into

mainfrom

fix/coverage-count-dedupe

Aug 13, 2026

Commits on Aug 9, 2026

fix: count each coverage block once regardless of cache warmth
OmarAlJarrah
committed
5d7ac49

Commits on Aug 13, 2026

Merge remote-tracking branch 'origin/main' into fix/coverage-count-dedupe
OmarAlJarrah
committed
c72fd15
fix(scripts): test the coverage block merge and fix its failure output
OmarAlJarrah
committed
b1c7a5c
fix(scripts): refuse a malformed profile, stop listing empty blocks
OmarAlJarrah
committed
a921dba
fix(scripts): pin the failure listing's sort to LC_ALL=C
OmarAlJarrah
committed
24af67c
test(scripts): fail a case whose profile was never built
OmarAlJarrah
committed
04a8b7b
docs: list the coverage-counting check with the rest of the gate
OmarAlJarrah
committed
a867c47