Skip to content

coverage: Include the highest counter ID seen in .cov-map dumps#131476

Merged
bors merged 1 commit intorust-lang:masterfrom Zalathar:highest-counterOct 11, 2024

Commits

Commits on Oct 11, 2024