ci: skip diff coverage on push gates#123

Merged

saagpatel merged 1 commit into

codex/ci/quality-gates-push-skip

May 17, 2026

Owner

saagpatel commented May 17, 2026

What

Skip the diff coverage command inside the verify wrapper on push events.
Run the standalone Diff coverage step only for pull requests.

Why

Diff coverage is a PR-only gate; default-branch pushes do not have a stable comparison branch in this workflow and were failing after all tests passed.

Testing

git diff --check .github/workflows/quality-gates.yml
pnpm check:workflow-drift


          ci: skip diff coverage on push gates

0d960f1

saagpatel merged commit b9c6ab4 into master

33 checks passed

saagpatel deleted the codex/ci/quality-gates-push-skip branch

May 17, 2026 23:05

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet