From 7105cf4234764cfd2af0ddfc15adb255b0173d76 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sun, 16 Feb 2025 22:05:43 -0500 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 47567d0..fb8daa9 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -31,11 +31,11 @@ jobs: - run: opam pin picos 0.6.0 -y -n - run: opam install picos + - run: opam install -t --deps-only . - run: opam exec -- dune build @install # 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