coverage: Replace boolean options with a `CoverageLevel` enum#124507

Merged

bors merged 1 commit intorust-lang:masterfrom Zalathar:coverage-level

Apr 30, 2024

+53-39

Commits on Apr 29, 2024

coverage: Replace boolean options with a CoverageLevel enum
Zalathar
committed