From fbc6d44e44d8ded26df53e174a8d884a3a6a4c12 Mon Sep 17 00:00:00 2001
From: Arthur Carcano <arthur.carcano@ocamlpro.com>
Date: Thu, 27 Jun 2024 14:19:49 +0200
Subject: [PATCH] Install z3 on the CI

---
 .github/workflows/build.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 38007eda0..33936a5f6 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -53,6 +53,7 @@ jobs:
         if: steps.cache-opam.outputs.cache-hit != 'true'
         run: |
           opam install . --deps-only --with-test --with-doc
+          opam install smtml z3
           opam clean --switch-cleanup
       - name: build
         run: |