set -e

curl -L https://risczero.com/install | bash 
/home/runner/.risc0/bin/rzup install 
source env.sh

cargo test --release
cd integration_tests
cargo run $(pwd)/configs/debug all