set RISC0 to 1.2.4

anoma · Feb 26, 2025 · 59b07fd · 59b07fd
1 parent d538c28
commit 59b07fd
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 3 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -239,6 +239,7 @@ jobs:
         run: |
           curl -L https://risczero.com/install | bash
           ~/.risc0/bin/rzup install
+          ~/.risc0/bin/rzup install r0vm 1.2.4
 
       - name: Checkout CairoVM
         uses: actions/checkout@v4

diff --git a/runtime/rust/risc0/host/Cargo.toml b/runtime/rust/risc0/host/Cargo.toml
@@ -5,6 +5,6 @@ edition = "2021"
 
 [dependencies]
 methods = { path = "../methods" }
-risc0-zkvm = { version = "1.3.0" }
+risc0-zkvm = { version = "1.2.4" }
 tracing-subscriber = { version = "0.3", features = ["env-filter"] }
 serde = "1.0"
diff --git a/runtime/rust/risc0/methods/Cargo.toml b/runtime/rust/risc0/methods/Cargo.toml
@@ -4,7 +4,7 @@ version = "0.1.0"
 edition = "2021"
 
 [build-dependencies]
-risc0-build = { version = "2.0.0" }
+risc0-build = { version = "1.2.4" }
 
 [package.metadata.risc0]
 methods = ["guest"]
diff --git a/runtime/rust/risc0/methods/guest/Cargo.toml b/runtime/rust/risc0/methods/guest/Cargo.toml
@@ -6,5 +6,5 @@ edition = "2021"
 [workspace]
 
 [dependencies]
-risc0-zkvm = { version = "1.3.0", default-features = false, features = [ "std" ] }
+risc0-zkvm = { version = "1.2.4", default-features = false, features = [ "std" ] }
 juvix = { path = "../../juvix" }