whoops, forgot to remove this step

crytic · Apr 10, 2024 · 438152a · 438152a
1 parent 2924936
commit 438152a
Showing 1 changed file with 0 additions and 4 deletions.
diff --git 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: