Add CI trigger for merge queues.

ehuss · ehuss · commit dad0240bc4d4 · 2023-07-16T11:43:38.000-07:00
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:
