try to fix CI

c-cube · Feb 8, 2024 · 5bbf00f · 5bbf00f
1 parent 91c99c0
commit 5bbf00f
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
@@ -19,6 +19,9 @@ jobs:
           dune-cache: true
           allow-prerelease-opam: true
 
+      - name: Build
+        run: opam exec -- odig odoc --cache-dir=_doc/ containers containers-data
+
       - name: Deploy
         uses: peaceiris/actions-gh-pages@v3
         with: