Add CI trigger for merge queues.

ehuss · Jul 16, 2023 · dad0240 · dad0240
1 parent 1ea0178
commit dad0240
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -1,5 +1,9 @@
 name: CI
-on: [push, pull_request]
+on:
+  push:
+    branches-ignore: [master]
+  pull_request:
+  merge_group:
 
 jobs:
   test: