ci: removed event_name == 'push' actions

Author: sirandreww-starkware

.github/workflows/main.yml

@@ -85,13 +85,6 @@ jobs:
         # If we move the install here we can use a const.
         run: cargo +"$EXTRA_RUST_TOOLCHAINS" fmt --all -- --check
 
-      - name: "Run clippy on push"
-        if: github.event_name == 'push'
-        run: scripts/run_tests.py --command clippy
-      - name: "Run cargo doc on push"
-        if: github.event_name == 'push'
-        run: scripts/run_tests.py --command doc
-
       - name: "Run taplo"
         run: scripts/taplo.sh
       - name: Run Machete (detect unused dependencies)
@@ -136,14 +129,6 @@ jobs:
         env:
           SEED: 0
 
-      - name: "Run tests on push"
-        if: github.event_name == 'push'
-        # TODO(AdiY/Dori): Better support for running tests on push.
-        run: |
-          scripts/run_tests.py --command test
-        env:
-          SEED: 0
-
   integration-tests-pr:
     if: github.event_name == 'pull_request'
     uses: ./.github/workflows/integration-tests.yml