diff options
| author | Jakub Beránek <jakub.beranek@vsb.cz> | 2023-06-23 11:22:23 +0200 |
|---|---|---|
| committer | Jakub Beránek <jakub.beranek@vsb.cz> | 2023-06-23 11:22:56 +0200 |
| commit | 3c2b8b06fc931b84d0c9addc91529491ddbc8246 (patch) | |
| tree | 84e492d7ac708d8a20859eff1cc55959cb88d2bd /src/ci/github-actions | |
| parent | fa06a371b715f137c952577cfded4e49cb7e76c4 (diff) | |
| download | rust-3c2b8b06fc931b84d0c9addc91529491ddbc8246.tar.gz rust-3c2b8b06fc931b84d0c9addc91529491ddbc8246.zip | |
Cancel in-progress workflow runs after a push
Diffstat (limited to 'src/ci/github-actions')
| -rw-r--r-- | src/ci/github-actions/ci.yml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/ci/github-actions/ci.yml b/src/ci/github-actions/ci.yml index a9e42e4a0a0..87a10a5e87b 100644 --- a/src/ci/github-actions/ci.yml +++ b/src/ci/github-actions/ci.yml @@ -305,6 +305,10 @@ defaults: # shell is PowerShell.) shell: bash +concurrency: + group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }} + cancel-in-progress: true + jobs: pr: permissions: |