diff options
| author | Taras Madan <tarasmadan@google.com> | 2024-05-08 14:37:08 +0200 |
|---|---|---|
| committer | Taras Madan <tarasmadan@google.com> | 2024-05-08 12:54:10 +0000 |
| commit | 0df1eb567cf9907957f671f67fa3f7a9152aeed7 (patch) | |
| tree | d0bc08faaa0b0cb45edb47feb0422255c1ebd04a /.github/workflows | |
| parent | 0ac372459159c5632ae7ce9778e9be771708a9b3 (diff) | |
ci.yml: cancel old workflows
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/ci.yml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index c17e163e2..75ace8f9e 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -9,6 +9,11 @@ on: [push, pull_request] permissions: contents: read +# https://stackoverflow.com/questions/66335225/how-to-cancel-previous-runs-in-the-pr-when-you-push-new-commitsupdate-the-curre +concurrency: + group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }} + cancel-in-progress: true + jobs: aux: runs-on: ubuntu-latest |