Skip to content

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

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

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

Commits

Commits on May 22, 2026