install risc0 toolchain

risc0 · Oct 2, 2023 · ceaec0a · ceaec0a
1 parent f2cdee9
commit ceaec0a
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/curve25519-dalek.yml b/.github/workflows/curve25519-dalek.yml
@@ -149,6 +149,8 @@ jobs:
     steps:
       - uses: actions/checkout@v3
       - uses: risc0/risc0/.github/actions/rustup@main
+      # install the risc0 toolchain
+      - run: cargo risczero install
       - run: git clone https://github.com/risc0/risc0.git
       - run: cargo install cargo-risczero --path risc0/risc0/cargo-risczero --features experimental
       - run: cargo risczero test -- --release --all-features