diff options
author | jhendersonHDF <jhenderson@hdfgroup.org> | 2023-10-26 15:49:50 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-10-26 15:49:50 (GMT) |
commit | 119e694f971470b26876d227ceedbaab36eef275 (patch) | |
tree | d7a0bf39cdb008ff4ef27c54e9b8d00bd3fbcbaf /.github/workflows/cve.yml | |
parent | 74cc1cf59eae121c1d15caf4fb0420a18a45da13 (diff) | |
download | hdf5-119e694f971470b26876d227ceedbaab36eef275.zip hdf5-119e694f971470b26876d227ceedbaab36eef275.tar.gz hdf5-119e694f971470b26876d227ceedbaab36eef275.tar.bz2 |
Cancel running GitHub workflows on push to same PR (#3772)
* Cancel running GitHub workflows on push to same PR
* Remove github.sha from workflow concurrency groups
Diffstat (limited to '.github/workflows/cve.yml')
-rw-r--r-- | .github/workflows/cve.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/cve.yml b/.github/workflows/cve.yml index 6756840..372518a 100644 --- a/.github/workflows/cve.yml +++ b/.github/workflows/cve.yml @@ -16,7 +16,7 @@ on: # Using concurrency to cancel any in-progress job or run concurrency: - group: ${{ github.workflow }}-${{ github.sha || github.event.pull_request.number }} + group: ${{ github.workflow }}-${{ github.head_ref && github.ref || github.run_id }} cancel-in-progress: true permissions: |