coverage: Simplify parts of coverage graph creation#132389
Merged
bors merged 3 commits intorust-lang:masterfrom Nov 8, 2024
Merged
coverage: Simplify parts of coverage graph creation#132389bors merged 3 commits intorust-lang:masterfrom
bors merged 3 commits intorust-lang:masterfrom