From ceaec0a114fd36af308d2726afef9b0e827cecb1 Mon Sep 17 00:00:00 2001 From: Joby Thundil Date: Mon, 2 Oct 2023 15:51:43 -0400 Subject: [PATCH] install risc0 toolchain --- .github/workflows/curve25519-dalek.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/curve25519-dalek.yml b/.github/workflows/curve25519-dalek.yml index 86d729e38..ec4aa74b2 100644 --- 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