From d68f046ea3bfe2fd91e8a328ac205106af685bbf Mon Sep 17 00:00:00 2001 From: "Marco Antonio J. Costa" Date: Mon, 27 Jul 2026 13:47:53 -0300 Subject: [PATCH] build on pull requests, drop per-branch push builds A push builds in the repository it was pushed to, so a contributor's branch builds in their fork and the base repository sees nothing. Without a run of its own there is no check on the pull request for branch protection to require, so trigger on pull_request as well. Push builds narrow to master and v* tags: with pull requests covered, building every branch push only duplicated the same commit's build across four Windows matrix jobs. Master still builds so the "latest" pre-release keeps updating. A branch with no pull request open builds via workflow_dispatch. Co-Authored-By: Claude Opus 5 --- .github/workflows/build.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 25ac79164..9474f78dc 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -3,9 +3,10 @@ name: build on: push: branches: - - '**' + - master tags: - 'v*' + pull_request: # allows to manually trigger a build workflow_dispatch: inputs: