diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 8b3bba41..e378b883 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -65,7 +65,9 @@ jobs: dune-cache: 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 exec -- dune build @install # install some depopts