Merge pull request #6 from informalsystems/soares/update-starter

Update to latest upstream version
informalsystems · Mar 8, 2024 · 0ca6b94 · 0ca6b94
2 parents e3ee5c9 + 5e3e318
commit 0ca6b94
Show file tree

Hide file tree

Showing 23 changed files with 1,760 additions and 1,079 deletions.
diff --git a/.github/workflows/rust.yaml b/.github/workflows/rust.yaml
@@ -31,10 +31,12 @@ jobs:
           version: "23.2"
       - name: Cache dependencies
         uses: Swatinem/rust-cache@v2
-      - name: Install cargo-risc0 # Risc0 v0.17 and higher require a cargo extension to build the guest code
-        run: cargo install cargo-risczero
+      - name: Install cargo-risczero
+        uses: taiki-e/install-action@v2
+        with:
+          tool: [email protected]
       - name: Install risc0-zkvm toolchain # Use the risc0 cargo extension to install the risc0 std library for the current toolchain
-        run: cargo risczero install
+        run: cargo risczero install --version v2024-02-08.1
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
       - name: Build