CI: fix gh-page

odig need the package to be installed to compile the documentations
This commit is contained in:
Fardale 2023-02-15 18:31:00 +01:00
parent 1d08a05c44
commit 53f2ffca9f

View file

@ -19,9 +19,7 @@ jobs:
dune-cache: false
- name: Deps
run: |
opam install -d . --deps-only;
opam install odig
run: opam install odig containers containers-data containers-thread
- name: Build
run: opam exec -- odig odoc --cache-dir=_doc/ containers containers-data containers-thread