CI fix: foundry version (#922)

Certora · Jan 13, 2025 · 2fb1a86 · 2fb1a86
1 parent b5c9dde
commit 2fb1a86
Show file tree

Hide file tree

Showing 6 changed files with 10 additions and 10 deletions.
diff --git a/.github/workflows/intergration.yml b/.github/workflows/intergration.yml
@@ -96,7 +96,7 @@ jobs:
       - name: Install Foundry
         uses: foundry-rs/foundry-toolchain@v1
         with:
-          version: nightly
+          version: nightly-70cd140131cd49875c6f31626bdfae08eba35386
 
       - name: yarn install
         run: yarn install

diff --git a/.github/workflows/proposals.yml b/.github/workflows/proposals.yml
@@ -55,7 +55,7 @@ jobs:
       - name: Install Foundry
         uses: foundry-rs/foundry-toolchain@v1
         with:
-          version: nightly
+          version: nightly-70cd140131cd49875c6f31626bdfae08eba35386
 
       - name: yarn install
         run: yarn install

diff --git a/.github/workflows/silo-core.yml b/.github/workflows/silo-core.yml
@@ -79,7 +79,7 @@ jobs:
             -   name: Install Foundry
                 uses: foundry-rs/foundry-toolchain@v1
                 with:
-                    version: nightly
+                    version: nightly-70cd140131cd49875c6f31626bdfae08eba35386
 
             -   name: Run submodule update
                 run: git submodule update --init --recursive
@@ -147,12 +147,12 @@ jobs:
             -   name: Install Foundry
                 uses: foundry-rs/foundry-toolchain@v1
                 with:
-                    version: nightly
+                    version: nightly-70cd140131cd49875c6f31626bdfae08eba35386
 
             -   name: Install Foundry
                 uses: foundry-rs/foundry-toolchain@v1
                 with:
-                    version: nightly
+                    version: nightly-70cd140131cd49875c6f31626bdfae08eba35386
 
             -   name: Build silo foundry utils
                 working-directory: ./gitmodules/silo-foundry-utils
@@ -202,7 +202,7 @@ jobs:
             -   name: Install Foundry
                 uses: foundry-rs/foundry-toolchain@v1
                 with:
-                    version: nightly
+                    version: nightly-70cd140131cd49875c6f31626bdfae08eba35386
 
             -   name: Build silo foundry utils
                 working-directory: ./gitmodules/silo-foundry-utils
@@ -251,7 +251,7 @@ jobs:
             -   name: Install Foundry
                 uses: foundry-rs/foundry-toolchain@v1
                 with:
-                    version: nightly
+                    version: nightly-70cd140131cd49875c6f31626bdfae08eba35386
 
             -   name: Build silo foundry utils
                 working-directory: ./gitmodules/silo-foundry-utils

diff --git a/.github/workflows/silo-oracles.yml b/.github/workflows/silo-oracles.yml
@@ -81,7 +81,7 @@ jobs:
       - name: Install Foundry
         uses: foundry-rs/foundry-toolchain@v1
         with:
-          version: nightly
+          version: nightly-70cd140131cd49875c6f31626bdfae08eba35386
 
       - name: Build silo foundry utils
         working-directory: ./gitmodules/silo-foundry-utils

diff --git a/.github/workflows/silo-vaults.yml b/.github/workflows/silo-vaults.yml
@@ -57,7 +57,7 @@ jobs:
             -   name: Install Foundry
                 uses: foundry-rs/foundry-toolchain@v1
                 with:
-                    version: nightly
+                    version: nightly-70cd140131cd49875c6f31626bdfae08eba35386
 
             -   name: Build silo foundry utils
                 working-directory: ./gitmodules/silo-foundry-utils

diff --git a/.github/workflows/ve-silo.yml b/.github/workflows/ve-silo.yml
@@ -65,7 +65,7 @@ jobs:
       - name: Install Foundry
         uses: foundry-rs/foundry-toolchain@v1
         with:
-          version: nightly
+          version: nightly-70cd140131cd49875c6f31626bdfae08eba35386
 
       - name: yarn install
         run: yarn install