ci: gate PRs on 100% patch coverage + 95% project floor#149
Open
mastermanas805 wants to merge 2 commits into
Open
ci: gate PRs on 100% patch coverage + 95% project floor#149mastermanas805 wants to merge 2 commits into
mastermanas805 wants to merge 2 commits into
Commits
Commits on May 22, 2026
- authored andcommitted
- andcommitted
