chore: CI

This commit is contained in:
Simon Cruanes 2024-08-30 12:37:04 -04:00
parent 5d731a9b73
commit fb8b612ffb
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
2 changed files with 2 additions and 2 deletions

View file

@ -20,7 +20,7 @@ jobs:
allow-prerelease-opam: true
# temporary until it's in a release
- run: opam pin https://github.com/c-cube/picos#simon/split-package -y -n
- run: opam pin https://github.com/c-cube/picos.git#simon/split-package -y -n
- run: opam install odig moonpool moonpool-lwt

View file

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