Need odoc.

savonet · Jun 15, 2024 · d95535a · d95535a
1 parent f5dffc2
commit d95535a
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -15,7 +15,10 @@ jobs:
       - run: opam install . --deps-only --with-test
       - run: opam exec -- dune build
       - run: opam exec -- dune runtest
-      - run: opam exec -- dune build @doc
+      - name: Build doc
+        run: |
+          opam install odoc
+          opam exec -- dune build @doc
       - name: Upload website artifact
         uses: actions/upload-pages-artifact@v2
         with: