Disable ci for push since everything goes through PR (#288)

Signed-off-by: Xudong Sun <[email protected]>
anvil-verifier · Sep 20, 2023 · adcedd4 · adcedd4
1 parent 6da4124
commit adcedd4
Showing 1 changed file with 7 additions and 7 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,13 +1,13 @@
 name: Continuous integration
 run-name: Regression tests run by ${{ github.actor }}
 on:
-  push:
-    branches:
-      - main
-    paths-ignore:
-      - "README.md"
-      - ".gitignore"
-      - "doc/**"
+  # push:
+  #   branches:
+  #     - main
+  #   paths-ignore:
+  #     - "README.md"
+  #     - ".gitignore"
+  #     - "doc/**"
   pull_request:
   merge_group:
   workflow_dispatch: