ci: block merges that drop coverage#311

sgerbino wants to merge 1 commit into

cppalliance:developcppalliance/capy:developfrom

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