From 4098e88c688f37b6d7714e8c61b0e7a2364031e6 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 7 May 2025 21:52:25 -0400 Subject: [PATCH] CI --- .github/workflows/main.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 3f894c3..a06c6fa 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -52,7 +52,9 @@ jobs: - run: opam exec -- dune build '@install' -p trace,trace-tef,trace-fuchsia - run: opam install picos_aux + if: matrix.ocaml-compiler != '4.08.x' && matrix.ocaml-compiler != '4.12.x' - run: opam exec -- dune build '@install' -p trace,trace-tef,trace-fuchsia + if: matrix.ocaml-compiler != '4.08.x' && matrix.ocaml-compiler != '4.12.x' - run: opam install mtime - run: opam exec -- dune build '@install' -p trace,trace-tef,trace-fuchsia