Update lint-ubuntu.sh

This commit is contained in:
Pravdyvy 2025-07-18 12:36:53 +03:00 committed by GitHub
parent 3bc2f6aba7
commit 7d11c95be8
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -1,7 +1,5 @@
set -e
curl -L https://risczero.com/install | bash
/home/runner/.risc0/bin/rzup install
source env.sh
cargo install taplo-cli --locked
@ -9,4 +7,4 @@ cargo fmt -- --check
taplo fmt --check
export RISC0_SKIP_BUILD=1
cargo clippy --workspace --all-targets -- -D warnings
cargo clippy --workspace --all-targets -- -D warnings