From fe50b4d325aff4486d819af7ac2d2770f974e53b Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 26 Feb 2026 09:37:22 -0500 Subject: [PATCH] CI --- .github/workflows/gh-pages.yml | 2 +- .github/workflows/main.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml index 0ae63e3..1df1d1e 100644 --- a/.github/workflows/gh-pages.yml +++ b/.github/workflows/gh-pages.yml @@ -24,7 +24,7 @@ jobs: - run: opam pin odoc 3.1.0 -y -n # crash with 2.4, see https://github.com/ocaml/odoc/issues/1066 - name: Deps - run: opam install odig trace trace-tef trace-fuchsia ppx_trace + run: opam install odig thread-local-storage trace trace-tef trace-fuchsia ppx_trace - name: Build run: opam exec -- odig odoc --cache-dir=_doc/ trace trace-tef trace-fuchsia ppx_trace diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 1a4400a..cc2d7e4 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -47,7 +47,7 @@ jobs: - run: opam exec -- dune runtest -p trace-tef,trace-fuchsia # with depopts - - run: opam install hmap + - run: opam install hmap thread-local-storage - run: opam exec -- dune build '@install' -p trace,trace-tef,trace-fuchsia - run: opam install picos_aux