2024-11-25 08:13:30 +02:00
|
|
|
set -e
|
|
|
|
|
|
|
|
|
|
curl -L https://risczero.com/install | bash
|
|
|
|
|
/home/runner/.risc0/bin/rzup install
|
2025-04-18 08:17:56 -04:00
|
|
|
source env.sh
|
2024-11-25 08:13:30 +02:00
|
|
|
cargo install taplo-cli --locked
|
|
|
|
|
|
|
|
|
|
cargo fmt -- --check
|
|
|
|
|
taplo fmt --check
|
