Skip to content

Commit

Permalink
fix ci
Browse files Browse the repository at this point in the history
Signed-off-by: smtmfft <[email protected]>
  • Loading branch information
smtmfft committed Sep 7, 2024
1 parent 961fd7d commit d6e5b53
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 4 deletions.
2 changes: 1 addition & 1 deletion provers/risc0/driver/src/methods/risc0_guest.rs
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
pub const RISC0_GUEST_ELF: &[u8] =
include_bytes!("../../../guest/target/riscv32im-risc0-zkvm-elf/release/risc0-guest");
pub const RISC0_GUEST_ID: [u32; 8] = [
572111947, 771021978, 3238057507, 2574084743, 2728391593, 45804239, 3180160159, 786246815,
480687899, 2174307554, 3476860359, 3243974848, 2470546824, 868279999, 2732634741, 2619104561,
];
5 changes: 2 additions & 3 deletions script/install.sh
Original file line number Diff line number Diff line change
Expand Up @@ -51,16 +51,15 @@ if [ -z "$1" ] || [ "$1" == "risc0" ]; then
export TERM=xterm
fi
curl -L https://risczero.com/install | bash

if [ -z "${CI}" ] || [ ! command -v rzup &> /dev/null ]; then
PROFILE=$HOME/.bashrc
echo ${PROFILE}
source ${PROFILE}
rzup -v 1.0.1
rzup install cargo-risczero v1.1.0-rc.3
else
echo "/home/runner/.risc0/bin" >> $GITHUB_PATH
echo $GITHUB_PATH
/home/runner/.risc0/bin/rzup -v 1.0.1
/home/runner/.risc0/bin/rzup install cargo-risczero v1.1.0-rc.3
fi
fi
# SP1
Expand Down

0 comments on commit d6e5b53

Please sign in to comment.