From 914bf9f6bad4800ab99ce7095a3751fbaf2b3fa2 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 29 Aug 2024 09:46:39 -0400 Subject: [PATCH] chore: fix CI by installing picos first --- .github/workflows/main.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 6bfc6514..a6204db8 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -30,6 +30,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 if: matrix.ocaml-compiler == '5.2' - run: opam install -t moonpool --deps-only @@ -37,7 +38,7 @@ jobs: - run: opam exec -- dune build @install # install some depopts - - run: opam pin picos --dev -y -n && opam install thread-local-storage trace domain-local-await # picos + - run: opam install thread-local-storage trace if: matrix.ocaml-compiler == '5.2' - run: opam exec -- dune build --profile=release --force @install @runtest