diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml index 1f3e479..71d6d7c 100644 --- a/.github/workflows/gh-pages.yml +++ b/.github/workflows/gh-pages.yml @@ -20,16 +20,18 @@ jobs: allow-prerelease-opam: true dune-cache: true + - run: opam pin odoc 2.2.2 -y -n + # crash with 2.4, see https://github.com/ocaml/odoc/issues/1066 - name: Deps - run: opam install trace trace-tef trace-fuchsia ppx_trace -d + run: opam install odig trace trace-tef trace-fuchsia ppx_trace - name: Build - run: opam exec -- dune build @doc + run: opam exec -- odig odoc --cache-dir=_doc/ trace trace-tef trace-fuchsia ppx_trace - name: Deploy uses: peaceiris/actions-gh-pages@v3 with: github_token: ${{ secrets.GITHUB_TOKEN }} - publish_dir: ./_build/default/_doc/_html/ + publish_dir: ./_doc/html destination_dir: . enable_jekyll: true