CI(doc): use odig to generate documentation

This commit is contained in:
Fardale 2023-02-15 12:12:01 +01:00
parent 0a167dc3dd
commit d5d10af079

View file

@ -19,15 +19,17 @@ jobs:
dune-cache: false dune-cache: false
- name: Deps - name: Deps
run: opam install -d . --deps-only run: |
opam install -d . --deps-only;
opam install odig
- name: Build - name: Build
run: opam exec -- dune build @doc run: opam exec -- odig odoc --cache-dir=_doc/ containers containers-data containers-thread
- name: Deploy - name: Deploy
uses: peaceiris/actions-gh-pages@v3 uses: peaceiris/actions-gh-pages@v3
with: with:
github_token: ${{ secrets.GITHUB_TOKEN }} github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./_build/default/_doc/_html/ publish_dir: ./_doc/html/
destination_dir: dev destination_dir: dev
enable_jekyll: true enable_jekyll: true