chore: install depopts in CI

This commit is contained in:
Simon Cruanes 2024-01-30 16:12:14 -05:00
parent dd9206b5b8
commit 192f866ea1
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -39,4 +39,6 @@ jobs:
if: matrix.ocaml-compiler == '5.0'
- run: opam exec -- dune build @install @runtest
if: matrix.ocaml-compiler == '5.0'
- run: opam install trace thread-local-storage
- run: opam exec -- dune build @install