Skip to content

coverage: Replace boolean options with a CoverageLevel enum#124507

Merged
bors merged 1 commit into
rust-lang:masterfrom
Zalathar:coverage-level
Apr 30, 2024
Merged

coverage: Replace boolean options with a CoverageLevel enum#124507
bors merged 1 commit into
rust-lang:masterfrom
Zalathar:coverage-level

coverage: Replace boolean options with a `CoverageLevel` enum

f926337
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs