install z3

vyperlang · Jan 22, 2025 · 965e5fc · 965e5fc
1 parent 3930b84
commit 965e5fc
Showing 1 changed file with 3 additions and 0 deletions.
diff --git 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/"