From d5f25ddf6f8563a0830ae1a4337e1881ce758e5b Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 2 May 2025 15:48:28 -0400 Subject: [PATCH] CI --- .github/workflows/gh-pages.yml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml index 46a599b..cfa0cc4 100644 --- a/.github/workflows/gh-pages.yml +++ b/.github/workflows/gh-pages.yml @@ -22,9 +22,10 @@ jobs: # temporary until it's in a release - run: opam pin picos 0.6.0 -y -n - - run: opam install picos moonpool trace + - run: opam install odig moonpool trace + - run: opam install . --deps-only - - run: opam exec -- odig odoc --cache-dir=_doc/ nanoev + - run: opam exec -- odig odoc --cache-dir=_doc/ nanoev nanoev-picos nanoev-posix nanoev_tiny_httpd - name: Deploy uses: peaceiris/actions-gh-pages@v3