From 2cc31287c78b71f71c6cb0c742e63c2b4f7e646d Mon Sep 17 00:00:00 2001
From: Sam Alws <sam.alws@trailofbits.com>
Date: Wed, 10 Apr 2024 12:49:15 -0400
Subject: [PATCH] whoops, forgot to remove this step

---
 .github/workflows/ci.yml | 4 ----
 1 file changed, 4 deletions(-)

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: