mirror of
https://github.com/NixOS/nix.git
synced 2025-11-08 19:46:02 +01:00
ci: cancel previous workflow runs on PR updates
Add concurrency group configuration to the CI workflow to automatically cancel outdated runs when a PR receives new commits or is force-pushed. This prevents wasting CI resources on superseded code.
This commit is contained in:
parent
8e6b69de54
commit
ad664ce64e
1 changed files with 4 additions and 0 deletions
4
.github/workflows/ci.yml
vendored
4
.github/workflows/ci.yml
vendored
|
|
@ -14,6 +14,10 @@ on:
|
||||||
default: true
|
default: true
|
||||||
type: boolean
|
type: boolean
|
||||||
|
|
||||||
|
concurrency:
|
||||||
|
group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
|
||||||
|
cancel-in-progress: true
|
||||||
|
|
||||||
permissions: read-all
|
permissions: read-all
|
||||||
|
|
||||||
jobs:
|
jobs:
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue