Skip to content

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

Merged
mastermanas805 merged 4 commits into
masterfrom
ci/patch-coverage-100-gate
May 23, 2026
Merged

ci: gate PRs on 100% patch coverage + 95% project floor#149
mastermanas805 merged 4 commits into
masterfrom
ci/patch-coverage-100-gate

Commits

Commits on May 22, 2026