try to fix CI

This commit is contained in:
Simon Cruanes 2024-02-08 13:54:59 -05:00
parent 91c99c0e04
commit 7430dbf4b4
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -19,6 +19,12 @@ jobs:
dune-cache: true dune-cache: true
allow-prerelease-opam: 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 - name: Deploy
uses: peaceiris/actions-gh-pages@v3 uses: peaceiris/actions-gh-pages@v3
with: with: