From f07287f9f2fa1fde35acd266ff387d8d65df017e Mon Sep 17 00:00:00 2001 From: Garry Tan Date: Sat, 15 Aug 2026 07:51:42 -0700 Subject: [PATCH] ci: stop double-running lint + skill-docs on every PR commit Both fired on unrestricted push AND pull_request, so each PR push ran them twice (12 duplicate (headSha, workflow) pairs in the last 200 runs). push is now main-only; pull_request covers PR branches. Co-Authored-By: Claude Fable 5 --- .github/workflows/actionlint.yml | 7 ++++++- .github/workflows/skill-docs.yml | 7 ++++++- 2 files changed, 12 insertions(+), 2 deletions(-) diff --git a/.github/workflows/actionlint.yml b/.github/workflows/actionlint.yml index 6f0d3fe21..2ca8d10a7 100644 --- a/.github/workflows/actionlint.yml +++ b/.github/workflows/actionlint.yml @@ -1,5 +1,10 @@ name: Workflow Lint -on: [push, pull_request] +# push is main-only: a push to a PR branch already fires the pull_request run; +# the unrestricted push trigger double-ran every PR commit. +on: + push: + branches: [main] + pull_request: # Cancel superseded runs for the same branch (matches evals.yml, # windows-free-tests.yml, etc.). head_ref is set on pull_request; ref_name is diff --git a/.github/workflows/skill-docs.yml b/.github/workflows/skill-docs.yml index 0f38d5cc7..227e9fa40 100644 --- a/.github/workflows/skill-docs.yml +++ b/.github/workflows/skill-docs.yml @@ -1,5 +1,10 @@ name: Skill Docs Freshness -on: [push, pull_request] +# push is main-only: a push to a PR branch already fires the pull_request run; +# the unrestricted push trigger double-ran every PR commit. +on: + push: + branches: [main] + pull_request: # Cancel superseded runs for the same branch (matches evals.yml, # windows-free-tests.yml, etc.). head_ref is set on pull_request; ref_name is