fix ci scripts

This commit is contained in:
Rostyslav Tyshko 2025-04-18 08:17:56 -04:00
parent 9f5ac1af94
commit 92b9fe252a
4 changed files with 4 additions and 0 deletions

View File

@ -1,4 +1,5 @@
set -e
curl -L https://risczero.com/install | bash
/Users/runner/.risc0/bin/rzup install
source env.sh
RUSTFLAGS="-D warnings" cargo build

View File

@ -1,4 +1,5 @@
set -e
curl -L https://risczero.com/install | bash
/home/runner/.risc0/bin/rzup install
source env.sh
RUSTFLAGS="-D warnings" cargo build

View File

@ -2,6 +2,7 @@ set -e
curl -L https://risczero.com/install | bash
/home/runner/.risc0/bin/rzup install
source env.sh
cargo install taplo-cli --locked
cargo fmt -- --check

View File

@ -2,5 +2,6 @@ set -e
curl -L https://risczero.com/install | bash
/home/runner/.risc0/bin/rzup install
source env.sh
cargo test --release