Skip to content

Rework no_coverage to coverage(off)#114656

Merged
bors merged 5 commits into
rust-lang:masterfrom
bossmc:rework-no-coverage-attr
Sep 14, 2023
Merged

Rework no_coverage to coverage(off)#114656
bors merged 5 commits into
rust-lang:masterfrom
bossmc:rework-no-coverage-attr

Fix up run-coverage and coverage-map/status-quo tests

0ca6c38
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs