Don't build documentation in CI

lukstafi · Feb 2, 2024 · b5c69c2 · b5c69c2
1 parent d373505
commit b5c69c2
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -30,6 +30,7 @@ jobs:
         allow-prerelease-opam: true
     - run: opam pin -n .
     - run: opam depext -yt printbox printbox-html printbox-md printbox-text
-    - run: opam install -t . --deps-only
-    - run: opam exec -- dune build @all
+    - run: opam install . --deps-only --with-test
+    # Don't run all targets -- don't try building and uploading documentation.
+    - run: opam exec -- dune build
     - run: opam exec -- dune runtest