From 0ff2645de4be3ce0a6989f4520f35d1dcb3cdb48 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 6 Apr 2026 20:14:43 -0400 Subject: [PATCH] CI --- .github/workflows/main.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 541b7fab..a54303e8 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -31,7 +31,7 @@ jobs: - run: opam pin picos 0.6.0 -y -n - - run: opam install -t moonpool moonpool-lwt --deps-only + - run: opam install -t . --deps-only - run: opam exec -- dune build @install # install some depopts