Merge pull request #3206 from davidhewitt/gh-merge-queue

add github merge queue support
PyO3 · Jun 6, 2023 · 342e4ca · 342e4ca
2 parents 894b62f + a70e398
commit 342e4ca
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -9,6 +9,8 @@ on:
       # for bors try
       - trying
   pull_request:
+  merge_group:
+    types: [checks_requested]
   workflow_dispatch:
 
 concurrency: