Skip to content

coverage: Avoid a possible query stability hazard in CoverageCounters#119401

Merged
bors merged 1 commit intorust-lang:masterfrom
Zalathar:query-stability
Dec 29, 2023
Merged

coverage: Avoid a possible query stability hazard in `CoverageCounters`#119401
bors merged 1 commit intorust-lang:masterfrom
Zalathar:query-stability

Commits

Commits on Dec 29, 2023