Bypass git

Certora · Dec 26, 2024 · 096bbb7 · 096bbb7
1 parent ce50c25
commit 096bbb7
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -6,7 +6,7 @@ on:
 
 jobs:
   Regression:
-    if: ( (github.event.review.state == 'approved') || (github.event.pull_request.user.email == '[email protected]')) && (github.event.pull_request.base.ref == 'main')
+    if: ((github.event.review.state == 'approved') || (github.event.pull_request.user.email == '[email protected]')) && (github.event.pull_request.base.ref == 'main')
     runs-on: ubuntu-latest
 
     container:
@@ -35,7 +35,7 @@ jobs:
 
   
   Update-Version:
-    if: (github.event.review.state == 'approved') && (github.event.pull_request.base.ref == 'main')
+    if: ((github.event.review.state == 'approved') || (github.event.pull_request.user.email == '[email protected]')) && (github.event.pull_request.base.ref == 'main')
     needs: Regression
     runs-on: ubuntu-latest
     permissions: