ci: auto-update armed PRs; drop dead merge_group trigger

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
2026-07-02 12:48:23 -05:00
parent 1f65743631
commit d0a5ccb10d
2 changed files with 39 additions and 4 deletions
@@ -4,10 +4,6 @@ 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: