Merge pull request #179 from chenxiaolong/ci

ci.yml: Only cancel previous runs for pull requests
This commit is contained in:
Andrew Gunnerson
2023-10-01 19:24:48 -04:00
committed by GitHub
+3 -2
View File
@@ -5,9 +5,10 @@ on:
- master
pull_request:
# This allows a subsequently queued workflow run to interrupt previous runs
# This allows a subsequently queued workflow run to interrupt previous runs, but
# only in pull requests.
concurrency:
group: '${{ github.workflow }} @ ${{ github.event.pull_request.head.label || github.head_ref || github.ref }}'
group: '${{ github.workflow }} @ ${{ github.head_ref || github.sha }}'
cancel-in-progress: true
jobs: