From 973a08ccbe1450a68dd8eb0c795b61b826932e1a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Louis=20Roch=C3=A9?= Date: Fri, 22 Dec 2023 14:22:39 +0100 Subject: [PATCH] tmp --- .github/workflows/build-test.yml | 17 ++++++++++++++++- 1 file changed, 16 insertions(+), 1 deletion(-) 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