Install z3 on the CI

OCamlPro · Jul 1, 2024 · fbc6d44 · fbc6d44
1 parent 2c3c65d
commit fbc6d44
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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: |