diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 1953abc6bb..cf4255271e 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -79,6 +79,9 @@ jobs:
 
     - name: Install hevm
       run: |
+        # hevm dependency
+        sudo apt-get install z3
+
         wget -O hevm https://github.com/ethereum/hevm/releases/download/release/0.54.2/hevm-x86_64-linux
         chmod +x hevm
         mkdir -p "$HOME/.local/bin/"