From 6eccc464c4fd2fbdfc9969850dbe92aeac8c8332 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 3 Sep 2024 09:32:07 -0400 Subject: [PATCH] chore: 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 69e6d87c..00bb6095 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -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