This commit is contained in:
Simon Cruanes 2025-02-15 20:49:46 -05:00
parent 9e9d48b5d8
commit 6ee48fb21a
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -29,11 +29,14 @@ jobs:
dune-cache: true
allow-prerelease-opam: true
- run: opam pin picos 0.6.0 -y -n
- run: opam install picos
- run: opam exec -- dune build @install
# install some depopts
- run: opam pin picos 0.6.0 -y -n
- run: opam install -t moonpool trace picos
# install some depopts and test deps
- run: opam install -t --deps-only .
- run: opam install -t trace
- run: opam exec -- dune build --profile=release --force @install @runtest