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/main.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/main.yml')
| -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 e472b8c..43513c5 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.workflow }}-${{ github.sha || github.event.pull_request.number }} + group: ${{ github.workflow }}-${{ github.head_ref && github.ref || github.run_id }} cancel-in-progress: true permissions: |