diff options
| author | Jonas <baguettegamerofficial2020@gmail.com> | 2026-11-03 05:49:55 +0600 |
|---|---|---|
| committer | Jonas <baguettegamerofficial2020@gmail.com> | 2026-11-03 05:49:55 +0600 |
| commit | b391ca052fab3cb36fb4d6c95fc8efe752f1a329 (patch) | |
| tree | 356f0838651c4b6f98bf380ece37745e2d7b499c | |
| parent | efa7c19e59839f0d464c2e9bd41f9ca8f867fef0 (diff) | |
ci: queue release builds instead of cancelling the running one
Pushes in quick succession cancelled every build before it finished, so a
busy stretch published no release. Let the running build finish and keep
the newest push queued behind it.
| -rw-r--r-- | .github/workflows/release-binaries.yml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/.github/workflows/release-binaries.yml b/.github/workflows/release-binaries.yml index 36be3f1c64..8233a74c94 100644 --- a/.github/workflows/release-binaries.yml +++ b/.github/workflows/release-binaries.yml @@ -32,9 +32,11 @@ permissions: env: PGO_LLVM_VERSION: "23" +# A running build is never cancelled: it finishes and publishes. A push meanwhile queues one build; +# a later push replaces it, so the newest commit builds as soon as the running one is done. concurrency: group: release-binaries-${{ github.ref }} - cancel-in-progress: true + cancel-in-progress: false jobs: build: |