ci: turn on merge_group for merge queues in CI workflow (#784)

Co-authored-by: Bruno Barbieri <[email protected]>
rainbow-me · Aug 4, 2023 · 9a312d0 · 9a312d0
1 parent c34a6ee
commit 9a312d0
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -3,6 +3,7 @@ name: CI
 
 on:
   pull_request:
+  merge_group:
   push:
     branches: [master]
   workflow_dispatch: