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