Skip to content

Introduce -C instrument-coverage=branch to gate branch coverage#116094

Merged
bors merged 1 commit intorust-lang:masterfrom
Swatinem:coverage-branch-gate
Oct 24, 2023
Merged

Introduce `-C instrument-coverage=branch` to gate branch coverage#116094
bors merged 1 commit intorust-lang:masterfrom
Swatinem:coverage-branch-gate

Commits

Commits on Oct 24, 2023