From 7430dbf4b4d9e64293085b09c9829b1910bb4e73 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Thu, 8 Feb 2024 13:54:59 -0500
Subject: [PATCH] try to fix CI

---
 .github/workflows/gh-pages.yml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
index d2563159..09124952 100644
--- a/.github/workflows/gh-pages.yml
+++ b/.github/workflows/gh-pages.yml
@@ -19,6 +19,12 @@ jobs:
           dune-cache: true
           allow-prerelease-opam: true
 
+      - name: Deps
+        run: opam install odig tiny_httpd tiny_httpd_camlzip
+
+      - name: Build
+        run: opam exec -- odig odoc --cache-dir=_doc/ tiny_httpd tiny_httpd_camlzip
+
       - name: Deploy
         uses: peaceiris/actions-gh-pages@v3
         with: