This commit is contained in:
Simon Cruanes 2023-06-09 09:37:36 -04:00
parent 1fed3eba8e
commit 0d334db039
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -33,5 +33,6 @@ jobs:
- run: opam install -t trace trace-tef --deps-only - run: opam install -t trace trace-tef --deps-only
- run: opam exec -- dune build '@install' -p trace,trace-tef - run: opam exec -- dune build '@install' -p trace,trace-tef
- run: opam exec -- dune runtest -p trace - run: opam exec -- dune runtest -p trace
- run: opam install trace
- run: opam exec -- dune runtest -p trace-tef - run: opam exec -- dune runtest -p trace-tef