diff --git a/.github/workflows/build-test.yml b/.github/workflows/build-test.yml index 67a8b2f..927963d 100644 --- a/.github/workflows/build-test.yml +++ b/.github/workflows/build-test.yml @@ -85,8 +85,23 @@ jobs: opam-depext-flags: "--with-doc" allow-prerelease-opam: true + - name: Install dependencies + run: opam install . --deps-only --with-doc + + - name: Build documentation + run: opam exec -- dune build @doc + + - name: Set-up Pages + uses: actions/configure-pages@v4 + + - name: Upload artifact + uses: actions/upload-pages-artifact@v2 + with: + path: _build/default/_doc/_html + - name: Deploy odoc to GitHub Pages - uses: ocaml/setup-ocaml/deploy-doc@v2 + id: deployment + uses: actions/deploy-pages@v3 lint-doc: runs-on: ubuntu-latest