From e974c6d31b0f8af42ac53e58fd76efd9316b9f62 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 17 Apr 2026 22:32:26 -0400 Subject: [PATCH] CI --- .github/workflows/gh-pages.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml index 3243819..a002dcf 100644 --- a/.github/workflows/gh-pages.yml +++ b/.github/workflows/gh-pages.yml @@ -15,6 +15,7 @@ jobs: steps: - uses: actions/checkout@v6 + - run: opam pin .#HEAD -y -n - name: Deps run: opam install thread-local-storage lwt trace trace-tef trace-fuchsia ppx_trace