coverage: Tidy up run-coverage
tests in several small ways#114924
Merged
bors merged 3 commits intorust-lang:masterfrom Aug 27, 2023
Merged
coverage: Tidy up `run-coverage` tests in several small ways#114924bors merged 3 commits intorust-lang:masterfrom
bors merged 3 commits intorust-lang:masterfrom