From 354a6fff449554b33b8a1d1bb3edfd0355ab64b4 Mon Sep 17 00:00:00 2001
From: bkolad <blazejkolad@gmail.com>
Date: Tue, 24 Oct 2023 13:28:26 +0200
Subject: [PATCH] risc0

---
 .github/workflows/rust.yml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
index 31000a2..d198930 100644
--- a/.github/workflows/rust.yml
+++ b/.github/workflows/rust.yml
@@ -16,6 +16,12 @@ jobs:
 
     steps:
     - uses: actions/checkout@v3
+    - 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 risc0-zkvm toolchain # Use the risc0 cargo extension to install the risc0 std library for the current toolchain
+      run: cargo risczero install
+      env:
+        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
     - name: Build
       run: cargo build --verbose
     - name: Run tests