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