Use isolated envs for all branches

Certora · Jan 8, 2025 · 9ab1802 · 9ab1802
1 parent a17fbd6
commit 9ab1802
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
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@main
+      - uses: Certora/certora-run-action@feat/isolated-envs
         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@main
+      - uses: Certora/certora-run-action@feat/isolated-envs
         with:
           # --disable_auto_cache_key_gen
           configurations: |-