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 /src | |
| 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 'src')
0 files changed, 0 insertions, 0 deletions