diff options
| author | Massimiliano Culpo <massimiliano.culpo@gmail.com> | 2022-06-09 00:46:46 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-08 15:46:46 -0700 |
| commit | 3fdb3f832af56a4afc38da1691fff3ca6596bf20 (patch) | |
| tree | 3b231b2a559a8983fdd254207e2ea6d2ffefe43d /.github/workflows/bootstrap.yml | |
| parent | bedad508a92fbfacc09316839f5d47c7e339e237 (diff) | |
| download | spack-3fdb3f832af56a4afc38da1691fff3ca6596bf20.tar.gz spack-3fdb3f832af56a4afc38da1691fff3ca6596bf20.tar.bz2 spack-3fdb3f832af56a4afc38da1691fff3ca6596bf20.tar.xz spack-3fdb3f832af56a4afc38da1691fff3ca6596bf20.zip | |
Cancel running workflows automatically on PR update (#31044)
* Cancel running workflows automatically on PR update
* Add the last update later to check cancellation is working
* Use github.run_number instead of github.sha
Diffstat (limited to '.github/workflows/bootstrap.yml')
| -rw-r--r-- | .github/workflows/bootstrap.yml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.github/workflows/bootstrap.yml b/.github/workflows/bootstrap.yml index 3780429386..fce8c81d1f 100644 --- a/.github/workflows/bootstrap.yml +++ b/.github/workflows/bootstrap.yml @@ -19,6 +19,10 @@ on: # nightly at 2:16 AM - cron: '16 2 * * *' +concurrency: + group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.run_number }} + cancel-in-progress: true + jobs: fedora-clingo-sources: |