Skip to content

Collect coverage only on the primary CI job; use the sys.monitoring coverage core#264

Merged
cboos merged 2 commits into
mainfrom
dev/ci-windows-coverage
Jul 4, 2026
Merged

Collect coverage only on the primary CI job; use the sys.monitoring coverage core#264
cboos merged 2 commits into
mainfrom
dev/ci-windows-coverage