diff options
Diffstat (limited to '.github')
| -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 2c5ff102dc..db663a98a1 100644 --- a/.github/workflows/release-binaries.yml +++ b/.github/workflows/release-binaries.yml @@ -34,9 +34,11 @@ env: PGO_LLVM_VERSION: '23' PLATFORM: linux-x86_64-pgo +# 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: |