Try to fix CI again

formalsec · Sep 14, 2024 · a2c0895 · a2c0895
1 parent c60f6b5
commit a2c0895
Showing 1 changed file with 7 additions and 4 deletions.
diff --git 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 }}