From 9d0a5dbf17d8365f24fd8774b81ae2af86ca6418 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Fri, 2 May 2025 15:59:45 -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 cfa0cc4..4d702bd 100644
--- a/.github/workflows/gh-pages.yml
+++ b/.github/workflows/gh-pages.yml
@@ -23,6 +23,7 @@ jobs:
       - run: opam pin picos 0.6.0 -y -n
 
       - run: opam install odig moonpool trace
+      - run: opam pin . -y -n
       - run: opam install . --deps-only
 
       - run: opam exec -- odig odoc --cache-dir=_doc/ nanoev nanoev-picos nanoev-posix nanoev_tiny_httpd