diff --git a/.github/workflows/pr-gate.yml b/.github/workflows/pr-gate.yml index 6066ad3..c598f36 100644 --- a/.github/workflows/pr-gate.yml +++ b/.github/workflows/pr-gate.yml @@ -7,6 +7,10 @@ name: PR gate on: pull_request: branches: [main] + # pull_request does not run on "push branch only" — only after a PR exists (or is synced). + push: + branches-ignore: + - main jobs: build: