ci: block merges that drop coverage#311

sgerbino merged 1 commit into

cppalliance:developcppalliance/capy:developfrom

sgerbino:ci/coverage-gatesgerbino/capy:ci/coverage-gateCopy head branch name to clipboard