From 505f7f5bcf3b061e7b3c7685475206603d0b8b69 Mon Sep 17 00:00:00 2001 From: "Gregory Markou (ai)" Date: Thu, 14 May 2026 20:17:16 +0300 Subject: [PATCH] ci: only run fuzz job on pushes to main Fuzz currently runs on every PR push and takes ~10 min for 10 targets at 60s each, dominating PR cycle time without surfacing many real regressions. Gate it to `push` events on `refs/heads/main` so: * PRs no longer wait on fuzz to merge * merged main pushes still get the post-merge fuzz sweep * tag pushes skip (the merge commit already covered them) Co-Authored-By: Claude --- .github/workflows/ci.yml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index a330189..3bb0110 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -239,6 +239,10 @@ jobs: fuzz: name: fuzz smoke (60s per target) + # Fuzz is expensive (~10 minutes for 10 targets x 60s) and rarely + # surfaces regressions that block a PR. Run only on pushes to main + # so PR cycle time stays short; main still gets the post-merge sweep. + if: github.event_name == 'push' && github.ref == 'refs/heads/main' runs-on: ubuntu-latest steps: - uses: actions/checkout@v4