Enable the GitHub merge queue

servo · Jul 12, 2023 · ed2324c · ed2324c
1 parent 93b8e2f
commit ed2324c
Showing 1 changed file with 18 additions and 0 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -4,6 +4,8 @@ on:
   push:
     branches: ["master"]
   pull_request:
+  merge_group:
+    types: [checks_requested]
 
 env:
   CARGO_NET_GIT_FETCH_WITH_CLI: true
@@ -75,3 +77,19 @@ jobs:
     steps:
       - uses: actions/checkout@v3
       - uses: EmbarkStudios/cargo-deny-action@v1
+
+  Result:
+    name: Result
+    runs-on: ubuntu-latest
+    needs:
+      - "Test"
+      - "WASM"
+      - "Lint"
+      - "Audit"
+    steps:
+      - name: Mark the job as successful
+        run: exit 0
+        if: success()
+      - name: Mark the job as unsuccessful
+        run: exit 1
+        if: "!success()"