coverage: Make counter creation handle node/edge counters more uniformly#131918
Merged
bors merged 2 commits intorust-lang:masterfrom Oct 22, 2024
Merged
coverage: Make counter creation handle node/edge counters more uniformly#131918bors merged 2 commits intorust-lang:masterfrom
bors merged 2 commits intorust-lang:masterfrom