From 659e33cdb0f4c92503fafb84490d038043b80096 Mon Sep 17 00:00:00 2001 From: umermjd11 Date: Sat, 31 Oct 2026 17:05:55 +0500 Subject: [PATCH] ci: run CI on merge_group so CI OK reports in the merge queue First stage of the merge queue rollout agreed in Discussion 208 (Option 2). The trigger must land before the develop ruleset requires the queue, or the queue waits forever for a CI OK that never runs. Harmless until then. Co-Authored-By: Claude Opus 5.5 --- .github/workflows/ci.yml | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index cfbe8f68..bda01be7 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -5,6 +5,11 @@ on: branches: [develop] push: branches: [develop] + # Reports `CI OK` on the merge queue's temporary gh-readonly-queue/* branches. + # Must land before the ruleset requires the queue, or the queue waits forever + # for a check that never runs. Discussion 208. + merge_group: + types: [checks_requested] permissions: contents: read