don't run ci on push, only pull_request

Author: adamgreig

.github/workflows/ci.yml

@@ -1,7 +1,4 @@
 on:
-  push:
-    branches-ignore:
-      - "gh-readonly-queue/**"
   pull_request:
   merge_group:
   workflow_dispatch:

.github/workflows/clippy.yml

@@ -1,7 +1,4 @@
 on:
-  push:
-    branches-ignore:
-      - "gh-readonly-queue/**"
   pull_request:
   merge_group:
   workflow_dispatch:

.github/workflows/on-target.yml

@@ -1,7 +1,4 @@
 on:
-  push:
-    branches-ignore:
-      - "gh-readonly-queue/**"
   pull_request:
   merge_group:
   # allows manual triggering

.github/workflows/rt-ci.yml

@@ -1,7 +1,4 @@
 on:
-  push:
-    branches-ignore:
-      - "gh-readonly-queue/**"
   pull_request:
   merge_group:
   workflow_dispatch:

.github/workflows/rustfmt.yml

@@ -1,7 +1,4 @@
 on:
-  push:
-    branches-ignore:
-      - "gh-readonly-queue/**"
   pull_request:
   merge_group:
   workflow_dispatch: