chore: CI

This commit is contained in:
Simon Cruanes 2024-08-30 12:56:00 -04:00
parent 0da3ce4e72
commit b81ab9ffef
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -65,7 +65,9 @@ jobs:
dune-cache: true dune-cache: true
allow-prerelease-opam: 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.git#simon/split-package -y -n
- run: opam install -t moonpool moonpool-lwt --deps-only - run: opam install -t moonpool moonpool-lwt --deps-only
- run: opam exec -- dune build @install - run: opam exec -- dune build @install
# install some depopts # install some depopts