This has to fix CI

formalsec · Sep 15, 2024 · 30dc99f · 30dc99f
1 parent 519f165
commit 30dc99f
Showing 1 changed file with 3 additions and 5 deletions.
diff --git 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