coverage: Rename mir::coverage::BranchInfo
to CoverageInfoHi
#127352
Merged
This job succeeded
Loading