mirror of
https://github.com/NixOS/nixpkgs.git
synced 2025-07-13 21:50:33 +03:00
workflows/backport: cancel concurrent runs
When backporting a change to 24.11 and 25.05 at the same time by adding
the two labels immediately *after* merging the PR, three backport jobs
will run concurrently: One for the merge and one for each label added.
Each of those jobs will try to create both PRs, which will lead to two
of the jobs failing for sure.
With a concurrency group and cancelling in-progress jobs, only one of
those jobs will remain. This reduces notification noise.
(cherry picked from commit 6276e09530
)
This commit is contained in:
parent
3edb593375
commit
908c2db06b
1 changed files with 4 additions and 0 deletions
4
.github/workflows/backport.yml
vendored
4
.github/workflows/backport.yml
vendored
|
@ -9,6 +9,10 @@ on:
|
||||||
pull_request_target:
|
pull_request_target:
|
||||||
types: [closed, labeled]
|
types: [closed, labeled]
|
||||||
|
|
||||||
|
concurrency:
|
||||||
|
group: ${{ github.workflow }}-${{ github.event_name }}-${{ github.head_ref || github.run_id }}
|
||||||
|
cancel-in-progress: true
|
||||||
|
|
||||||
permissions:
|
permissions:
|
||||||
contents: read
|
contents: read
|
||||||
issues: write
|
issues: write
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue