Skip to content

Move the extra directives for Mode::CoverageRun into iter_header#121233

Merged
bors merged 2 commits into
rust-lang:masterfrom
Zalathar:extra-directives
Feb 20, 2024
Merged

Move the extra directives for Mode::CoverageRun into iter_header#121233
bors merged 2 commits into
rust-lang:masterfrom
Zalathar:extra-directives

Move the extra directives for `Mode::CoverageRun` into `iter_header`

c521d7f
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs