[ci] Don't run on push (#1882)

We already have the merge queue; running on push is redundant.
google · Oct 12, 2024 · 5b5d5a6 · 5b5d5a6
1 parent edb9e3a
commit 5b5d5a6
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -10,10 +10,6 @@ name: Build & Tests
 
 on:
   pull_request:
-  push:
-    branches:
-      - main
-      - v0.6.x
   merge_group:
 
 permissions: read-all