CI: Cancel duplicate workflow runs for pull requests

These are created when a pull request is force-pushed to, which results
in the unneeded waste of action runners on the obsolete CI run.
This commit is contained in:
Idan Horowitz 2021-07-01 16:34:38 +03:00 committed by Andreas Kling
parent 3265141286
commit 97ea192e3e
Notes: sideshowbarker 2024-07-18 11:09:29 +09:00

View file

@ -8,6 +8,10 @@ env:
# github.workspace = /home/runner/work/serenity/serenity
SERENITY_SOURCE_DIR: ${{ github.workspace }}
concurrency:
group: ${{ github.head_ref || format('{0}-{1}', github.ref, github.run_number) }}
cancel-in-progress: true
jobs:
build_and_test_serenity:
runs-on: ${{ matrix.os }}