ci: shard the full-suite coverage run across a matrix - #4815

Merged

JSONbored merged 3 commits into

mainfrom

perf/ci-shard-coverage

Jul 11, 2026

Commits on Jul 11, 2026

ci: shard the full-suite coverage run across a matrix
JSONbored
committed
798d36c
ci: restore the global coverage-threshold backstop across sharded coverage
JSONbored
committed
fde6376
fix(ci): give each shard's coverage blob report a unique filename
JSONbored
committed
0194dce