From b5da570501ee10e4a3df9cf034b5424a935bb45f Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 10 Jan 2024 12:19:57 -0500 Subject: [PATCH] fix 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 ae5a178..30efe46 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -40,5 +40,5 @@ jobs: if: matrix.ocaml-compiler != '4.08.x' - run: opam exec -- dune runtest -p trace - run: opam install trace - - run: opam exec -- dune runtest -p trace-tef trace-fuchsia + - run: opam exec -- dune runtest -p trace-tef,trace-fuchsia