Merge pull request #1383 from ehuss/fix-queue

Fix merge queue building twice.
rust-lang · Jul 29, 2023 · 9cd5c5a · 9cd5c5a
2 parents a64394d + a0ae62b
commit 9cd5c5a
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -1,7 +1,5 @@
 name: CI
 on:
-  push:
-    branches-ignore: [master]
   pull_request:
   merge_group: