ci: add merge_group event to GHA workflow. (#4646)

aws · Jul 12, 2024 · 7a7fae2 · 7a7fae2
1 parent a99299a
commit 7a7fae2
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/proof_ci.yaml b/.github/workflows/proof_ci.yaml
@@ -9,6 +9,9 @@ on:
   pull_request:
     branches-ignore:
       - gh-pages
+  merge_group:
+    types: [checks_requested]
+    branches: [main]
 
 # USAGE
 #