This commit is contained in:
Simon Cruanes 2025-02-16 22:05:43 -05:00
parent 6ee48fb21a
commit 7105cf4234
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -31,11 +31,11 @@ jobs:
- run: opam pin picos 0.6.0 -y -n
- run: opam install picos
- run: opam install -t --deps-only .
- run: opam exec -- dune build @install
# 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