From 7cde72d0e62ffee11590c4c676168e83818c991e Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 9 Apr 2025 09:27:28 -0400 Subject: [PATCH] CI: try with unix as well --- .github/workflows/main.yml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index de4daa0..8cc9fbc 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -48,6 +48,9 @@ jobs: - run: opam exec -- dune runtest -p trace-tef,trace-fuchsia # with depopts - - run: opam install hmap mtime + - run: opam install hmap unix + - run: opam exec -- dune build '@install' -p trace,trace-tef,trace-fuchsia + + - run: opam install mtime - run: opam exec -- dune build '@install' -p trace,trace-tef,trace-fuchsia