From 9c6f158c9c8bf105f2600bec2b1e0da223e400b8 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 9 Apr 2025 10:41:58 -0400 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 8cc9fbc..009de5a 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -48,7 +48,7 @@ jobs: - run: opam exec -- dune runtest -p trace-tef,trace-fuchsia # with depopts - - run: opam install hmap unix + - run: opam install hmap - run: opam exec -- dune build '@install' -p trace,trace-tef,trace-fuchsia - run: opam install mtime