diff --git a/rust-toolchain.toml b/rust-toolchain.toml
deleted file mode 100644
index 4e5db897..00000000
--- a/rust-toolchain.toml
+++ /dev/null
@@ -1,2 +0,0 @@
-[toolchain]
-channel = "1.80"
\ No newline at end of file
diff --git a/scripts/check-wasm.sh b/scripts/check-wasm.sh
index 9ec839dd..1f6ce078 100755
--- a/scripts/check-wasm.sh
+++ b/scripts/check-wasm.sh
@@ -12,7 +12,7 @@ check_wasm () {
 
   echo
   echo "Checking contract $CONTRACT_CRATE_NAME"
-  cargo stylus check --wasm-file ./target/wasm32-unknown-unknown/release/"$CONTRACT_BIN_NAME"
+  cargo stylus check --wasm-file ./target/wasm32-unknown-unknown/release/"$CONTRACT_BIN_NAME" --no-verify
 }
 
 # Retrieve all alphanumeric contract's crate names in `./examples` directory.