From 53f2ffca9f6adcf20c7f72aa09f487d8fb3f23bd Mon Sep 17 00:00:00 2001
From: Fardale <fardale+git@crans.org>
Date: Wed, 15 Feb 2023 18:31:00 +0100
Subject: [PATCH] CI: fix gh-page

odig need the package to be installed to compile the documentations
---
 .github/workflows/gh-pages.yml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
index e0ea91df..e158a9dd 100644
--- a/.github/workflows/gh-pages.yml
+++ b/.github/workflows/gh-pages.yml
@@ -19,9 +19,7 @@ jobs:
           dune-cache: false
 
       - name: Deps
-        run: |
-          opam install -d . --deps-only;
-          opam install odig
+        run: opam install odig containers containers-data containers-thread
 
       - name: Build
         run: opam exec -- odig odoc --cache-dir=_doc/ containers containers-data containers-thread