mirror/hdf5
2
0
Fork 0
mirror of https://github.com/HDFGroup/hdf5.git synced 2025-03-01 16:28:09 +08:00
Code Issues Packages Projects Releases Wiki Activity

Update concurrency group for main CI workflow (#2768)

Browse Source 
Updates main CI workflow concurrency group so that the group should be a unique string formed as "workflow file-commit" or "workflow file-PR number". This should only cancel actions for a PR if the same PR is committed to while the actions are running.
This commit is contained in:
jhendersonHDF 2023-04-17 16:02:39 -05:00 committed by GitHub
parent 413a1e5908
commit 584243bc47
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/main.yml vendored
View File

@ -17,7 +17,7 @@ on:
# Using concurrency to cancel any in-progress job or run
concurrency:
group: ${{ github.ref }}
group: ${{ github.workflow }}-${{ github.sha || github.event.pull_request.number }}
cancel-in-progress: true
# A workflow run is made up of one or more jobs that can run sequentially or