Skip to content

ci: gate PRs on 100% patch coverage + 95% project floor#13

Merged
mastermanas805 merged 1 commit into
masterfrom
ci/patch-coverage-100-gate
May 22, 2026
Merged

ci: gate PRs on 100% patch coverage + 95% project floor#13
mastermanas805 merged 1 commit into
masterfrom
ci/patch-coverage-100-gate

Commits

Commits on May 22, 2026