diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index a6204db8..4be2eb6b 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -64,6 +64,7 @@ jobs: dune-cache: true allow-prerelease-opam: true + - run: opam pin picos --dev -y -n && opam install picos - run: opam install -t moonpool moonpool-lwt --deps-only - run: opam exec -- dune build @install # install some depopts