Skip to content

coverage: Rename the three main coverage-info structs - #161902

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
Zalathar:coverage-info
Aug 30, 2026
Merged

coverage: Rename the three main coverage-info structs#161902
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
Zalathar:coverage-info

Commits

Commits on Aug 30, 2026