From c84b0605cf29de24d88634d72d56bdd4bced2757 Mon Sep 17 00:00:00 2001 From: Jason Ross Date: Thu, 2 Jul 2026 10:21:47 -0500 Subject: [PATCH] ci: trigger on merge_group so the GitHub merge queue can gate PRs Co-Authored-By: Claude Fable 5 --- .github/workflows/ci.yml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 825d7e1..753e50f 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -4,6 +4,10 @@ name: CI on: pull_request: branches: [main] + # Run the same jobs when a PR is queued in the GitHub merge queue, so the "CI passed" + # gate reports on the up-to-date merge-group ref and the queue can merge in order. + merge_group: + branches: [main] # A new push to a PR cancels any in-flight run for that PR. concurrency: