From 7d11c95be8519898bd9c79ea558f267cd3665bdd Mon Sep 17 00:00:00 2001 From: Pravdyvy <46261001+Pravdyvy@users.noreply.github.com> Date: Fri, 18 Jul 2025 12:36:53 +0300 Subject: [PATCH] Update lint-ubuntu.sh --- ci_scripts/lint-ubuntu.sh | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/ci_scripts/lint-ubuntu.sh b/ci_scripts/lint-ubuntu.sh index 7def8fa..35a0e4a 100644 --- a/ci_scripts/lint-ubuntu.sh +++ b/ci_scripts/lint-ubuntu.sh @@ -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 \ No newline at end of file +cargo clippy --workspace --all-targets -- -D warnings