From 30dc99f9257b6a51f5cfbb57e3a12c81ff2b0bf0 Mon Sep 17 00:00:00 2001
From: Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>
Date: Sun, 15 Sep 2024 20:33:41 +0100
Subject: [PATCH] This has to fix CI

---
 .github/workflows/deploy.yml | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
index fe6dbe70..d270fb51 100644
--- a/.github/workflows/deploy.yml
+++ b/.github/workflows/deploy.yml
@@ -31,12 +31,10 @@ jobs:
         id: pages
         uses: actions/configure-pages@v5
 
-      - name: Install dependencies
-        run: |
-          opam install -y . --deps-only --with-doc --with-test
-          opam install z3
+      - name: Install smtml
+        run: opam install -y . z3 --with-doc --with-test
 
-      - name: Build
+      - name: Build doc
         run: opam exec -- dune build @doc
 
       - name: Coverage report