Wolfgang Walther eec72ea6e4 workflows/pr: block merging PRs when jobs have been cancelled ...

This currently happens, for still unknown reasons, for the "check cherry
picks" job. The job gets cancelled by GHA mid-way. This should be the
same as an error, because an important check didn't run: Merging should
be blocked and auto-merge should not succeed.

(cherry picked from commit 06f574addf)

2025-08-12 12:32:34 +00:00

..

actions/get-merge-commit

actions/get-merge-commit: bump actions/checkout to v5.0.0

2025-08-11 16:04:17 +00:00

ISSUE_TEMPLATE

ci/treefmt: add yamlfmt

2025-06-15 12:27:21 +02:00

workflows

workflows/pr: block merging PRs when jobs have been cancelled

2025-08-12 12:32:34 +00:00

dependabot.yml

treewide: run yamlfmt

2025-06-15 12:27:17 +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

treewide: run yamlfmt

2025-06-15 12:27:17 +02:00

labeler-no-sync.yml

treewide: run yamlfmt

2025-06-15 12:27:17 +02:00

labeler.yml

treewide: run yamlfmt

2025-06-15 12:27:17 +02:00

PULL_REQUEST_TEMPLATE.md

25.05 is Warbler

2024-11-14 09:10:54 -08:00

STALE-BOT.md

…