diff options
| author | Jakub Beránek <berykubik@gmail.com> | 2023-06-26 16:40:12 +0200 |
|---|---|---|
| committer | Jakub Beránek <berykubik@gmail.com> | 2023-06-26 16:40:12 +0200 |
| commit | 7fb559353ee86c90a7179b1791cb29a81a24a4d2 (patch) | |
| tree | 1e3476371f83cd98beb10951afeb5a7a1ac33404 /src/ci | |
| parent | 27e10c5292eee22abef69aed7144f80bdea00603 (diff) | |
CI: do not cancel concurrent builds on the same branch
Instead, only cancel them if the builds have the same commit SHA.
Diffstat (limited to 'src/ci')
| -rw-r--r-- | src/ci/github-actions/ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ci/github-actions/ci.yml b/src/ci/github-actions/ci.yml index 8907d643182..e5487b3e746 100644 --- a/src/ci/github-actions/ci.yml +++ b/src/ci/github-actions/ci.yml @@ -301,7 +301,7 @@ defaults: concurrency: # For a given workflow, if we push to the same PR, cancel all previous builds on that PR. # If the push is not attached to a PR, we will cancel all builds related to the same commit SHA. - group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }} + group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.sha }} cancel-in-progress: true jobs: |