Wolfgang Walther 2dd1eca32b workflows/merge-group: make check & build required ...

These jobs were recently introduced into the merge queue - but I forgot
to make them actually required. They sometimes fail - but the PR is
still merged. Dumb.

2025-11-25 16:47:31 +01:00

..

actions/checkout

actions/checkout: update input descriptions

2025-08-22 17:30:44 +01:00

ISSUE_TEMPLATE

.github/ISSUE_TEMPLATE: update for 25.11 beta

2025-11-25 00:32:43 +01:00

workflows

workflows/merge-group: make check & build required

2025-11-25 16:47:31 +01:00

dependabot.yml

…

ISSUE_TEMPLATE.md

…

labeler-development-branches.yml

workflows/bot: rename from labels

2025-11-01 15:24:09 +01:00

labeler-no-sync.yml

.github/labeler-no-sync: add release-25.11 for CI stuff

2025-11-25 11:23:38 +01:00

labeler.yml

.github/labeler.yml: label musl itself

2025-11-25 13:28:30 +01:00

PULL_REQUEST_TEMPLATE.md

…

STALE-BOT.md

…

zizmor.yml

ci: add zizmor check and configuration

2025-10-26 22:03:12 +01:00