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