Use main branch

Certora · Jan 9, 2025 · 576327e · 576327e
1 parent 9ab1802
commit 576327e
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/certora-review-execution-chain.yml b/.github/workflows/certora-review-execution-chain.yml
@@ -17,7 +17,7 @@ jobs:
         with:
           submodules: recursive
       - uses: actions/setup-node@v4
-      - uses: Certora/certora-run-action@feat/isolated-envs
+      - uses: Certora/certora-run-action@main
         with:
           # --disable_auto_cache_key_gen
           #  security/certora/confs/payloads/verifyPayloadsController.conf --rule executor_exists

diff --git a/.github/workflows/certora-review-mainnet.yml b/.github/workflows/certora-review-mainnet.yml
@@ -18,7 +18,7 @@ jobs:
         with:
           submodules: recursive
       - uses: actions/setup-node@v4
-      - uses: Certora/certora-run-action@feat/isolated-envs
+      - uses: Certora/certora-run-action@main
         with:
           # --disable_auto_cache_key_gen
           configurations: |-

diff --git a/.github/workflows/certora-review-voting-chain.yml b/.github/workflows/certora-review-voting-chain.yml
@@ -18,7 +18,7 @@ jobs:
         with:
           submodules: recursive
       - uses: actions/setup-node@v4
-      - uses: Certora/certora-run-action@feat/isolated-envs
+      - uses: Certora/certora-run-action@main
         with:
           # --disable_auto_cache_key_gen
           configurations: |-