wip: fix build

cartesi · Jul 22, 2024 · 0955e23 · 0955e23
1 parent 7de2dac
commit 0955e23
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 2 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -9,7 +9,7 @@ jobs:
       - name: Install Foundry
         uses: foundry-rs/foundry-toolchain@v1
         with:
-          version: nightly-008922d5165c764859bc540d7298045eebf5bc60
+          version: v1.2.0
 
       - run: forge build
       - run: forge fmt --check src test
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -17,7 +17,7 @@ jobs:
       - name: Install Foundry
         uses: foundry-rs/foundry-toolchain@v1
         with:
-          version: nightly-008922d5165c764859bc540d7298045eebf5bc60
+          version: v1.2.0
 
       - name: Run all tests
         run: make test-all
diff --git a/templates/UArchReplay.t.sol.template b/templates/UArchReplay.t.sol.template
@@ -72,6 +72,7 @@ contract UArchReplay_@X@_Test is Test {
             ) {
                 continue;
             }
+            console.log("Replaying step %d ...", j);
             require(
                 catalog[i].proofsFrequency == 1, "require proof in every step"
             );