ci: bound the suite coverage gate - #13820

ci: bound the suite coverage gate#13820

teamleaderleo merged 2 commits into

manaflow-ai:mainmanaflow-ai/cmux:mainfrom

teamleaderleo:codex/bound-suite-coverageteamleaderleo/cmux:codex/bound-suite-coverageCopy head branch name to clipboard