Wolfgang Walther 6d4b1f8e30 workflows: cancel running jobs on pull request updates ... 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.		2025-06-01 12:44:44 +02:00
..
actions/get-merge-commit	workflows: checkout nixpkgs in get-merge-commit action	2025-05-25 15:14:23 +02:00
ISSUE_TEMPLATE	ISSUE_TEMPLATES: update releases following 25.11's branch-off	2025-05-16 20:27:35 -03:00
workflows	workflows: cancel running jobs on pull request updates	2025-06-01 12:44:44 +02:00
dependabot.yml	.github/dependabot.yml: disable default labels	2025-05-05 17:15:19 +02:00
ISSUE_TEMPLATE.md	ISSUE_TEMPLATE.md: clear the blank issue template	2025-01-12 16:01:56 -03:00
labeler-development-branches.yml	workflows/labeler: fix repo owner condition	2025-05-04 18:52:43 +02:00
labeler-no-sync.yml	labels: Automatically label CI changes for backport to 25.05	2025-05-16 20:53:25 +02:00
labeler.yml	nixos/gnome & nixos/gdm: move out of x11	2025-05-28 13:27:36 +02:00
PULL_REQUEST_TEMPLATE.md	25.11 is Xantusia	2025-05-16 19:21:55 +02:00
STALE-BOT.md
stale.yml