diff options
author | jhendersonHDF <jhenderson@hdfgroup.org> | 2023-04-17 21:02:39 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-04-17 21:02:39 (GMT) |
commit | 584243bc474302d332a1fde9e22586682fcf33ab (patch) | |
tree | 91c43859127f289b809332ee75ec8fb7321de18b /.github/workflows | |
parent | 413a1e590830b1e00d58707cc5f757be0367e2f9 (diff) | |
download | hdf5-584243bc474302d332a1fde9e22586682fcf33ab.zip hdf5-584243bc474302d332a1fde9e22586682fcf33ab.tar.gz hdf5-584243bc474302d332a1fde9e22586682fcf33ab.tar.bz2 |
Update concurrency group for main CI workflow (#2768)
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.
Diffstat (limited to '.github/workflows')
-rw-r--r-- | .github/workflows/main.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index ea63fd8..d08227e 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -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 |