coverage: Replace boolean options with a CoverageLevel enum#124507
Merged
bors merged 1 commit intorust-lang:masterfrom Apr 30, 2024
Merged
coverage: Replace boolean options with a CoverageLevel enum#124507bors merged 1 commit intorust-lang:masterfrom
CoverageLevel enum#124507bors merged 1 commit intorust-lang:masterfrom