Skip to content

Rework no_coverage to coverage(off)#114656

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

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

Commits

Commits on Sep 8, 2023