Merge branch 'main' into niv/CERT-7873-Fix-Address-Extraction

Certora · Dec 29, 2024 · 519a296 · 519a296
2 parents 1efbbef + 04a1569
commit 519a296
Show file tree

Hide file tree

Showing 3 changed files with 11 additions and 2 deletions.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -1,13 +1,22 @@
 name: CI
 
 on:
+  pull_request_review:
+    types: [submitted]
   pull_request:
     branches:
       - main
   workflow_dispatch:
 
 jobs:
   Regression:
+    if: |
+      (
+        (github.event_name == 'pull_request_review' && github.event.review.state == 'approved') ||
+        github.event.pull_request.user.login == 'nivcertora' ||
+        github.event.pull_request.user.login == 'liav-certora'
+      ) &&
+      github.event.pull_request.base.ref == 'main'
     env:
       ETHSCAN_API_KEY: ${{ secrets.ETHSCAN_API_KEY }}
       QUORUM_PATH: "."

diff --git a/Quorum/tests/blockchain_api_test.py b/Quorum/tests/blockchain_api_test.py
@@ -2,6 +2,7 @@
 from Quorum.utils.chain_enum import Chain
 from Quorum.apis.block_explorers.chains_api import ChainAPI
 
+
 @pytest.mark.parametrize(
     "chain, contract_address",
     [

diff --git a/version b/version
@@ -1,2 +1 @@
-
-20241226.145726.476558
+20241229.121340.274243