diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
index b115c963d..3110748e1 100644
--- a/.github/workflows/deploy.yml
+++ b/.github/workflows/deploy.yml
@@ -40,7 +40,7 @@ jobs:
         if: steps.cache-opam.outputs.cache-hit != 'true'
         run: |
           opam install . --deps-only --with-test --with-doc
-          opam install bisect_ppx
+          opam install bisect_ppx z3
       - name: api
         run: |
           touch doc/.nojekyll