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