Skip to content

coverage: Simplify parts of coverage graph creation#132389

Merged
bors merged 3 commits intorust-lang:masterfrom
Zalathar:graph-tweaks
Nov 8, 2024
Merged

coverage: Simplify parts of coverage graph creation#132389
bors merged 3 commits intorust-lang:masterfrom
Zalathar:graph-tweaks

Commits

Commits on Nov 1, 2024