Théo Zimmermann e49e695680 misc: update labeler following Coq -> Rocq renaming

2026-08-18 15:39:38 +02:00

..

actions/checkout

.github/actions/checkout: bump actions/github-script from 8 to 9

2026-08-08 10:34:26 -04:00

ISSUE_TEMPLATE

.github/ISSUE_TEMPLATE: fix hydra icon links

2026-06-28 22:17:16 +08:00

workflows

ci/github-script/check-target-branch: convert to TypeScript

2026-08-10 20:26:01 -04:00

dependabot.yml

.github/dependabot.yml: run on .github/actions/*/* too

2026-08-10 18:27:39 -04:00

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: Remove backport release-25.11

2026-07-01 13:55:42 +02:00

labeler.yml

misc: update labeler following Coq -> Rocq renaming

2026-08-18 15:39:38 +02:00

PULL_REQUEST_TEMPLATE.md

.github/PULL_REQUEST_TEMPLATE: drop x86_64-darwin checkbox

2026-06-21 19:22:33 +01:00

STALE-BOT.md

…

zizmor.yml

Reapply "ci: update pinned"

2026-04-04 16:13:11 -04:00