This commit is contained in:
Simon Cruanes 2025-05-02 15:48:28 -04:00
parent 41ede7fb33
commit d5f25ddf6f
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -22,9 +22,10 @@ jobs:
# temporary until it's in a release
- run: opam pin picos 0.6.0 -y -n
- run: opam install picos moonpool trace
- run: opam install odig moonpool trace
- run: opam install . --deps-only
- run: opam exec -- odig odoc --cache-dir=_doc/ nanoev
- run: opam exec -- odig odoc --cache-dir=_doc/ nanoev nanoev-picos nanoev-posix nanoev_tiny_httpd
- name: Deploy
uses: peaceiris/actions-gh-pages@v3