From d9307e4c2cdc1dbcd40c82897076c635582fcf42 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Mon, 5 May 2025 10:04:42 -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 4d702bd..a8f109d 100644
--- a/.github/workflows/gh-pages.yml
+++ b/.github/workflows/gh-pages.yml
@@ -25,6 +25,7 @@ jobs:
       - run: opam install odig moonpool trace
       - run: opam pin . -y -n
       - run: opam install . --deps-only
+      - run: opam install .
 
       - run: opam exec -- odig odoc --cache-dir=_doc/ nanoev nanoev-picos nanoev-posix nanoev_tiny_httpd