odoc again

This commit is contained in:
Simon Cruanes 2024-01-19 09:44:07 -05:00
parent 7e087ffc54
commit aa1b43be43
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -23,15 +23,15 @@ jobs:
- 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 odig trace trace-tef trace-fuchsia ppx_trace
run: opam install trace trace-tef trace-fuchsia ppx_trace -d
- name: Build
run: opam exec -- odig odoc --cache-dir=_doc/ trace trace-tef trace-fuchsia ppx_trace
run: opam exec -- dune build @doc
- name: Deploy
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./_doc/html
publish_dir: ./_build/default/_doc/_html/
destination_dir: .
enable_jekyll: true