From ab8e8bd9c26dd80117fa4e308313bbaf0e6434cf Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Thu, 8 Jun 2023 22:32:28 -0400
Subject: [PATCH] CI

---
 .github/workflows/main.yml | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 0ccda9f..0f03c95 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -30,9 +30,8 @@ jobs:
           ocaml-compiler: ${{ matrix.ocaml-compiler }}
           dune-cache: true
 
-      - run: opam install -t trace --deps-only
-
-      - run: opam exec -- dune build '@install'
-
-      - run: opam exec -- dune runtest
+      - run: opam install -t trace trace-tef --deps-only
+      - run: opam exec -- dune build '@install' -p trace,trace-tef
+      - run: opam exec -- dune runtest -p trace
+      - run: opam exec -- dune runtest -p trace-tef