add github merge queue support

2023-06-04 14:29:41 +01:00 · 2023-06-04 14:29:41 +01:00 · a70e3983b4
parent 6b85130078
commit a70e3983b4
1 changed files with 2 additions and 0 deletions
--- 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: