chore: try to fix docgen in CI

imandra-ai · Jun 12, 2024 · 83d2c24 · 83d2c24
1 parent 75d2b74
commit 83d2c24
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
@@ -19,9 +19,9 @@ jobs:
           dune-cache: true
           allow-prerelease-opam: true
 
-      - run: opam pin imandrakit imandrakit-thread --dev -y -n
-      - run: opam install odig imandrakit imandrakit-thread
-      - run: opam exec -- odig odoc --cache-dir=_doc/ imandrakit imandrakit-thread
+      - run: opam pin . -y -n
+      - run: opam install odig imandrakit imandrakit-thread imandrakit-io imandrakit-log
+      - run: opam exec -- odig odoc --cache-dir=_doc/ imandrakit imandrakit-thread imandrakit-io imandrakit-log
 
       - name: Deploy
         uses: peaceiris/actions-gh-pages@v3