Fix merge queue building twice.

ehuss · ehuss · commit a0ae62bf56c5 · 2023-07-18T14:12:20.000-07:00
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:
 
