Update checker.sh

OffchainLabs · Sep 12, 2024 · ae4d494 · ae4d494
1 parent b4a8f79
commit ae4d494
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/checker.sh b/checker.sh
@@ -83,7 +83,7 @@ process_directory() {
       fi
 
       # Run the cargo stylus check command
-      check_output=$(cargo stylus check  2>&1)
+      check_output=$(cargo stylus check --no-verify 2>&1)
 
       # Check if the command was successful
       if [ $? -eq 0 ]; then