chore: build docs in the merge queue (noir-lang#7218)

brweisz · Jan 29, 2025 · 871935e · 871935e
1 parent dc06d8e
commit 871935e
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/docs-pr.yml b/.github/workflows/docs-pr.yml
@@ -2,10 +2,12 @@ name: Deploy preview for PR
 
 on:
   pull_request:
+  merge_group:
 
 jobs:
   add_label:
     runs-on: ubuntu-22.04
+    if: github.event_name == 'pull_request'
     outputs:
       has_label: ${{ steps.check-labels.outputs.result }}
     steps: