Enable GitHub merge queue (#303)

* Enable GitHub merge queue * Update main.yml
servo · Jul 11, 2023 · 4dda12d · 4dda12d
1 parent 82b5f5b
commit 4dda12d
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -2,9 +2,11 @@ name: CI
 
 on:
   push:
-    branches: [auto]
+    branches: [master]
   pull_request:
   workflow_dispatch:
+  merge_group:
+    types: [checks_requested]
 
 jobs:
   ci:
@@ -86,7 +88,7 @@ jobs:
         run: ./travis_fuzz.sh
 
   build_result:
-    name: homu build finished
+    name: Result
     runs-on: ubuntu-latest
     needs:
       - "ci"