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

Merge branch 'master' into ci/patch-coverage-100-gate

085f534
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error and 5 warnings
typos
succeeded May 22, 2026 in 6s