diff options
Diffstat (limited to '.github/workflows/release-binaries.yml')
| -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: |