chore: CI

This commit is contained in:
Simon Cruanes 2024-09-03 09:32:07 -04:00
parent ec5ac645de
commit 6eccc464c4
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -66,7 +66,7 @@ jobs:
allow-prerelease-opam: true
# temporary until it's in a release
- run: opam pin https://github.com/c-cube/picos.git#simon/split-package -y -n
- run: opam pin https://github.com/ocaml-multicore/picos.git -y -n
- run: opam install -t moonpool moonpool-lwt --deps-only
- run: opam exec -- dune build @install