ci: cancel in-progress CI if a PR is updated

[skip ci]
This commit is contained in:
James McCoy 2021-12-25 11:07:52 -05:00
parent 4f95224907
commit 094c3f2b54
No known key found for this signature in database
GPG Key ID: DFE691AE331BA3DB

View File

@ -10,6 +10,11 @@ on:
- 'master'
- 'release-[0-9]+.[0-9]+'
# Cancel any in-progress CI runs for a PR if it is updated
concurrency:
group: ${{ github.workflow }}-${{ github.event_name == 'pull_request' && github.head_ref || github.sha }}
cancel-in-progress: true
jobs:
unixish:
name: ${{ matrix.runner }} ${{ matrix.flavor }} (cc=${{ matrix.cc }})