ci: trigger on merge_group so the GitHub merge queue can gate PRs

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
2026-07-02 10:21:47 -05:00
parent 7e7e92bb02
commit c84b0605cf
1 changed files with 4 additions and 0 deletions
@@ -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: