Remove from CI

Certora · Jan 9, 2025 · 813effe · 813effe
1 parent c466ed0
commit 813effe
Showing 1 changed file with 10 additions and 7 deletions.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -11,13 +11,16 @@ on:
 jobs:
   Regression:
     if: |
-      (
-        (github.event_name == 'pull_request_review' && github.event.review.state == 'approved') ||
-        (github.event_name == 'pull_request' && 
-          (github.event.pull_request.user.login == 'nivcertora' ||
-           github.event.pull_request.user.login == 'liav-certora')
-        )
-      ) &&
+#      (
+#        (github.event_name == 'pull_request_review' && github.event.review.state == 'approved') ||
+#        (github.event_name == 'pull_request' &&
+#          (github.event.pull_request.user.login == 'nivcertora' ||
+#           github.event.pull_request.user.login == 'liav-certora')
+#        )
+#      ) &&
+#      github.event.pull_request.base.ref == 'main'
+      github.event_name == 'pull_request_review' &&
+      github.event.review.state == 'approved') &&
       github.event.pull_request.base.ref == 'main'
     env:
       ETHSCAN_API_KEY: ${{ secrets.ETHSCAN_API_KEY }}