curl -L https://risczero.com/install | bash source /home/runner/.bashrc rzup install cargo build