From 0d334db039c77f02179da47a42bdb5612da51e4f Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Fri, 9 Jun 2023 09:37:36 -0400
Subject: [PATCH] CI

---
 .github/workflows/main.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 0f03c95..ad45954 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -33,5 +33,6 @@ jobs:
       - 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 install trace
       - run: opam exec -- dune runtest -p trace-tef