diff options
author | Max Bachmann <kontakt@maxbachmann.de> | 2022-09-04 11:22:57 +0200 |
---|---|---|
committer | da-woods <dw-git@d-woods.co.uk> | 2022-09-04 10:24:03 +0100 |
commit | 261536b3b929fc37dd9e7e160c8f209a3e19a5f6 (patch) | |
tree | 6303d8fa351e615286821881d9b118c3f68e4c15 | |
parent | c656624a4fc638e4c0cc098dab0f59a6f8331b1c (diff) | |
download | cython-261536b3b929fc37dd9e7e160c8f209a3e19a5f6.tar.gz |
cancel unfinished CI run to save CI time (#5006)
This cancels the ci for previous commits on the same branch and previous commits in a PR, which should save CI time since the CI builds do no longer stack up when pushing multiple times while the CI is still running.
-rw-r--r-- | .github/workflows/ci.yml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 60d2a862b..8b63eceae 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -2,6 +2,10 @@ name: CI on: [push, pull_request] +concurrency: + group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }} + cancel-in-progress: true + jobs: ci: strategy: |