Cancel concurrent workflow runs in PRs.

(cherry picked from commit 5a3e21788d)
pull/584/head
Felix Fontein 2023-02-23 09:56:12 +01:00
parent 837733b4c2
commit 553f3c2ee0
1 changed files with 5 additions and 0 deletions

View File

@ -11,6 +11,11 @@ on:
- stable-1
pull_request:
concurrency:
# Make sure there is at most one active run per PR, but do not cancel any non-PR runs
group: ${{ github.workflow }}-${{ (github.head_ref && github.event.number) || github.run_id }}
cancel-in-progress: true
jobs:
sanity:
name: EOL Sanity (Ⓐ${{ matrix.ansible }})