fix(CI): cancel a PR's CI when the PR closes (#26719)

Co-authored-by: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Co-authored-by: CodeRabbit <coderabbitai[bot]@users.noreply.github.com>
This commit is contained in:
sudlud
2026-07-21 14:59:34 +02:00
committed by GitHub
parent 86e8abce1a
commit db8a92b8b7
7 changed files with 66 additions and 12 deletions

View File

@@ -13,8 +13,9 @@ concurrency:
#
# - PRs use `refs/pull/<PR_NUMBER>/merge`, so new commits cancel older
# in-progress runs for the same PR.
# - When a PR is merged, a push to the target branch starts a new group,
# canceling any still-running PR CI.
# - A merge does NOT cancel the PR's own runs: this group is keyed on
# refs/pull/<N>/merge and the master push on refs/heads/master, so they
# never share a group. See the cancel-pr-runs-on-close workflow.
# - Branch pushes are isolated by ref.
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true