From 6ee48fb21a99d306fe1e5c2b00b401e6b883c3a6 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sat, 15 Feb 2025 20:49:46 -0500 Subject: [PATCH] CI --- .github/workflows/main.yml | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 0eff5fb..47567d0 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -29,11 +29,14 @@ jobs: dune-cache: true allow-prerelease-opam: true + - run: opam pin picos 0.6.0 -y -n + - run: opam install picos + - run: opam exec -- dune build @install - # install some depopts - - run: opam pin picos 0.6.0 -y -n - - run: opam install -t moonpool trace picos + # install some depopts and test deps + - run: opam install -t --deps-only . + - run: opam install -t trace - run: opam exec -- dune build --profile=release --force @install @runtest