Use first release

Certora · Jan 24, 2025 · ea846c0 · ea846c0
1 parent 576327e
commit ea846c0
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 6 deletions.
diff --git a/.github/workflows/certora-review-execution-chain.yml b/.github/workflows/certora-review-execution-chain.yml
@@ -16,8 +16,7 @@ jobs:
       - uses: actions/checkout@v4
         with:
           submodules: recursive
-      - uses: actions/setup-node@v4
-      - uses: Certora/certora-run-action@main
+      - uses: Certora/certora-run-action@v1
         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
@@ -17,8 +17,7 @@ jobs:
       - uses: actions/checkout@v4
         with:
           submodules: recursive
-      - uses: actions/setup-node@v4
-      - uses: Certora/certora-run-action@main
+      - uses: Certora/certora-run-action@v1
         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
@@ -17,8 +17,7 @@ jobs:
       - uses: actions/checkout@v4
         with:
           submodules: recursive
-      - uses: actions/setup-node@v4
-      - uses: Certora/certora-run-action@main
+      - uses: Certora/certora-run-action@v1
         with:
           # --disable_auto_cache_key_gen
           configurations: |-