add github merge queue support

davidhewitt · davidhewitt · commit a70e3983b4f9 · 2023-06-04T19:36:28.000+01:00
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:
