From a2c0895f5f8245359a827285f6eee88060b8a9e1 Mon Sep 17 00:00:00 2001
From: Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>
Date: Sat, 14 Sep 2024 18:42:40 +0100
Subject: [PATCH] Try to fix CI again

---
 .github/workflows/deploy.yml | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
index 49794ef7..534c82e4 100644
--- a/.github/workflows/deploy.yml
+++ b/.github/workflows/deploy.yml
@@ -31,16 +31,19 @@ jobs:
         id: pages
         uses: actions/configure-pages@v5
 
-      - name: Install and Build
+      - name: Install dependencies
         run: |
           opam install -y . --deps-only --with-doc --with-test
           opam install z3
-          opam exec -- dune build @install
-          opam exec -- dune install
+
+      - name: Build
+        run: opam exec -- dune build @doc
+
+      - name: Coverage report
+        run:
           BISECT_FILE=`pwd`/bisect opam exec -- dune runtest --force --instrument-with bisect_ppx
           opam exec -- bisect-ppx-report html -o _build/default/_doc/_html/coverage
           opam exec -- bisect-ppx-report send-to Coveralls
-          opam exec -- dune build @doc
         env:
           COVERALLS_REPO_TOKEN: ${{ secrets.COVERALLS_REPO_TOKEN }}