chore: try to fix CI

This commit is contained in:
Simon Cruanes 2024-08-30 12:33:30 -04:00
parent 0545a39aff
commit 5463a1a909
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
2 changed files with 8 additions and 5 deletions

View file

@ -19,11 +19,12 @@ jobs:
dune-cache: true
allow-prerelease-opam: true
- name: Deps
run: opam install odig moonpool moonpool-lwt
# temporary until it's in a release
- run: opam pin https://github.com/c-cube/picos#simon/split-package -y -n
- name: Build
run: opam exec -- odig odoc --cache-dir=_doc/ moonpool moonpool-lwt
- run: opam install odig moonpool moonpool-lwt
- run: opam exec -- odig odoc --cache-dir=_doc/ moonpool moonpool-lwt
- name: Deploy
uses: peaceiris/actions-gh-pages@v3

View file

@ -29,7 +29,9 @@ jobs:
dune-cache: true
allow-prerelease-opam: true
- run: opam pin picos --dev -y -n && opam install picos
# temporary until it's in a release
- run: opam pin https://github.com/c-cube/picos#simon/split-package -y -n
- run: opam install -t moonpool moonpool-lwt --deps-only
if: matrix.ocaml-compiler == '5.2'
- run: opam install -t moonpool --deps-only