diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 235161361..45dabc9db 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -221,10 +221,6 @@ jobs:
           HOST_OS: ${{ runner.os }}
           SOLC_VER: ${{ matrix.solc }}
 
-      - name: See if Z3 installed
-        run: |
-          z3 --help
-
       - name: Download testsuite
         uses: actions/download-artifact@v4
         with: