Enable merge queue support (#52)

servo · Jul 11, 2023 · 560e7d4 · 560e7d4
1 parent 8a1a9e3
commit 560e7d4
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -2,8 +2,10 @@ name: CI
 
 on:
   push:
-    branches: ['master', 'auto']
+    branches: [master]
   pull_request:
+  merge_group:
+    types: [checks_requested]
 
 jobs:
   Test:
@@ -25,7 +27,7 @@ jobs:
         run: cargo check --features="num_traits"
 
   build_result:
-    name: homu build finished
+    name: Result
     runs-on: ubuntu-latest
     needs:
       - "Test"