Add on.merge_group in .github/workflows/ci.yaml (#4873)

Adding this trigger enables use of a GitHub merge queue.
brimdata · Nov 9, 2023 · 415990b · 415990b
1 parent c41a758
commit 415990b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -1,6 +1,7 @@
 name: "Tests"
 
 on:
+  merge_group:
   pull_request:
   push:
     branches: