diff --git a/.github/workflows/check-wasm.yml b/.github/workflows/check-wasm.yml
index ca16f313..ecd899a4 100644
--- a/.github/workflows/check-wasm.yml
+++ b/.github/workflows/check-wasm.yml
@@ -30,7 +30,7 @@ jobs:
       - uses: Swatinem/rust-cache@v2
 
       - name: install cargo-stylus
-        run: cargo install cargo-stylus@0.4.2 cargo-stylus-check@0.4.2
+        run: cargo install cargo-stylus@0.5.0
 
       - name: run wasm check
         run: |
diff --git a/.github/workflows/e2e-tests.yml b/.github/workflows/e2e-tests.yml
index 22fa1d85..556224ec 100644
--- a/.github/workflows/e2e-tests.yml
+++ b/.github/workflows/e2e-tests.yml
@@ -39,7 +39,7 @@ jobs:
           key: "e2e-tests"
 
       - name: install cargo-stylus
-        run: cargo install cargo-stylus@0.4.2 cargo-stylus-check@0.4.2
+        run: cargo install cargo-stylus@0.5.0
 
       - name: install solc
         run: |
diff --git a/scripts/check-wasm.sh b/scripts/check-wasm.sh
index 1f6ce078..9ec839dd 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" --no-verify
+  cargo stylus check --wasm-file ./target/wasm32-unknown-unknown/release/"$CONTRACT_BIN_NAME"
 }
 
 # Retrieve all alphanumeric contract's crate names in `./examples` directory.