From f8c925c265cfc0b38be16b38005a362bc44a7e14 Mon Sep 17 00:00:00 2001 From: Sergio Chouhy Date: Sat, 17 May 2025 17:53:12 -0300 Subject: [PATCH] add clippy to CI --- ci_scripts/lint-ubuntu.sh | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/ci_scripts/lint-ubuntu.sh b/ci_scripts/lint-ubuntu.sh index d30ef67..7def8fa 100644 --- a/ci_scripts/lint-ubuntu.sh +++ b/ci_scripts/lint-ubuntu.sh @@ -6,4 +6,7 @@ source env.sh cargo install taplo-cli --locked cargo fmt -- --check -taplo fmt --check \ No newline at end of file +taplo fmt --check + +export RISC0_SKIP_BUILD=1 +cargo clippy --workspace --all-targets -- -D warnings \ No newline at end of file