Add support for the GitHub merge queue

servo · Aug 3, 2023 · 839fbed · 839fbed
1 parent e0f5716
commit 839fbed
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -5,6 +5,9 @@ on:
     branches: [auto]
   pull_request:
   workflow_dispatch:
+  merge_group:
+    types: [checks_requested]
+
 
 jobs:
   linux-ci-static:
@@ -114,7 +117,7 @@ jobs:
           RUST_BACKTRACE: 1
 
   build_result:
-    name: homu build finished
+    name: Result
     runs-on: ubuntu-latest
     needs:
       - "linux-ci-static"