From b81ab9ffefadcccd462c99c44d5d01bae45fa2fb Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Fri, 30 Aug 2024 12:56:00 -0400
Subject: [PATCH] chore: CI

---
 .github/workflows/main.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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