mirror of
https://github.com/NixOS/nixpkgs.git
synced 2025-06-09 19:13:26 +03:00
6d4b1f8e30
We can avoid running old jobs to completion, when pushing changes to a pull request. This is done via concurrency groups. We set them on the workflow level, with the following keys in the group name: - `github.workflow` to only cancel / block the same workflow. - `github.event_name` to avoid blocking between pull_request and pull_request_target. - `github.head_ref` which is unique for a PR, but the same when changing it. This will cause PRs to cancel in progress jobs. Unset on pushes to master & co. - `github.run_id` as fallback for push events. In this case, the run_id is unique for every push, thus *no* cancelling happens on the dev branches. |
||
|---|---|---|
| .. | ||
| actions/get-merge-commit | ||
| ISSUE_TEMPLATE | ||
| workflows | ||
| dependabot.yml | ||
| ISSUE_TEMPLATE.md | ||
| labeler-development-branches.yml | ||
| labeler-no-sync.yml | ||
| labeler.yml | ||
| PULL_REQUEST_TEMPLATE.md | ||
| STALE-BOT.md | ||
| stale.yml | ||