diff options
| author | Jonas <104419015+jojo-chaechae@users.noreply.github.com> | 2026-11-03 05:50:58 +0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2026-11-03 05:50:58 +0600 |
| commit | 2d81fd5072c060737c18ed4cfc46a04fb8cbb94c (patch) | |
| tree | 356f0838651c4b6f98bf380ece37745e2d7b499c | |
| parent | efa7c19e59839f0d464c2e9bd41f9ca8f867fef0 (diff) | |
| parent | b391ca052fab3cb36fb4d6c95fc8efe752f1a329 (diff) | |
Merge pull request #355 from Djihads80/ci/rolling-release-queue
ci: queue release builds instead of cancelling the running one
| -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: |