From 03f8ccd030e63bad090bc55b71fee740d6b35471 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 26 Sep 2025 15:25:17 -0400 Subject: [PATCH] CI --- .github/workflows/gh-pages.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml index 58a8bfe1..42c6aeed 100644 --- a/.github/workflows/gh-pages.yml +++ b/.github/workflows/gh-pages.yml @@ -22,7 +22,7 @@ jobs: # temporary until it's in a release - run: opam pin picos 0.6.0 -y -n - - run: opam install odig moonpool moonpool-lwt moonpool-io + - run: opam install odig moonpool moonpool-lwt moonpool-io -t - run: opam exec -- odig odoc --cache-dir=_doc/ moonpool moonpool-lwt