[CI] Add /run-full-ci and /run-extra-ci slash commands (#38734)

This commit is contained in:
Alison Shao
2026-09-09 13:56:38 -07:00
committed by GitHub
parent 96d91ef926
commit 2948a62a6f
5 changed files with 117 additions and 5 deletions
+2 -2
View File
@@ -12,8 +12,8 @@ Recognized permission keys:
| Key | Grants |
| --- | --- |
| `can_tag_run_ci_label` | `/tag-run-ci-label`, `/tag-and-rerun-ci` |
| `can_rerun_failed_ci` | `/rerun-failed-ci`, `/tag-and-rerun-ci` |
| `can_tag_run_ci_label` | `/tag-run-ci-label`, `/tag-and-rerun-ci`, `/run-full-ci`, `/run-extra-ci` |
| `can_rerun_failed_ci` | `/rerun-failed-ci`, `/tag-and-rerun-ci`, `/run-full-ci`, `/run-extra-ci` |
| `cooldown_interval_minutes` | rate limit in `pr-gate.yml`; `0` also grants `/rerun-test`, `/rerun-group` |
`/rerun-test` and `/rerun-group` are gated on the commenter alone: either
@@ -19,6 +19,10 @@ jobs:
(contains(github.event.comment.body, '/tag-run-ci-label') ||
contains(github.event.comment.body, '/rerun-failed-ci') ||
contains(github.event.comment.body, '/tag-and-rerun-ci') ||
contains(github.event.comment.body, '/run-full-ci') ||
contains(github.event.comment.body, '/run-extra-ci') ||
contains(github.event.comment.body, '/rerun-full-ci') ||
contains(github.event.comment.body, '/rerun-extra-ci') ||
contains(github.event.comment.body, '/rerun-group') ||
contains(github.event.comment.body, '/rerun-test'))
runs-on: ubuntu-latest