Skip to content

ci: block merges that drop coverage#311

Open
sgerbino wants to merge 1 commit into
cppalliance:developfrom
sgerbino:ci/coverage-gate
Open

ci: block merges that drop coverage#311
sgerbino wants to merge 1 commit into
cppalliance:developfrom
sgerbino:ci/coverage-gate

ci: block merges that drop coverage

2a9cb86
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Generate Matrix
succeeded Jun 12, 2026 in 4s