Configure CI for merge_queue.

Fixes #742. See https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/configuring-pull-request-merges/managing-a-merge-queue#triggering-merge-group-checks-with-github-actions
rust-itertools · Oct 2, 2023 · 53d0631 · 53d0631
1 parent f027c36
commit 53d0631
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -2,10 +2,7 @@ name: CI
 
 on:
   pull_request:
-  push:
-    branches:
-      - staging
-      - trying
+  merge_group:
 
 jobs:
   check: