fix CI

c-cube · Jan 10, 2024 · b5da570 · b5da570
1 parent 7cb1f26
commit b5da570
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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