From 80c87da32ab2f798943d71cf98d25f73a6b5be95 Mon Sep 17 00:00:00 2001
From: zapashcanon <leo@ndrs.fr>
Date: Fri, 2 Aug 2024 19:48:16 +0200
Subject: [PATCH] install Z3 in CI for coverage

---
 .github/workflows/deploy.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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