Merge pull request #1381 from ehuss/merge_group

Add CI trigger for merge queues.
rust-lang · Jul 16, 2023 · 5b7b383 · 5b7b383
2 parents 1ea0178 + dad0240
commit 5b7b383
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: