CI
Some checks failed
github pages / Deploy doc (push) Has been cancelled
Build and Test / build (push) Has been cancelled
Build and Test / format (push) Has been cancelled

This commit is contained in:
Simon Cruanes 2025-05-02 15:59:45 -04:00
parent d5f25ddf6f
commit 9d0a5dbf17
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -23,6 +23,7 @@ jobs:
- run: opam pin picos 0.6.0 -y -n
- run: opam install odig moonpool trace
- run: opam pin . -y -n
- run: opam install . --deps-only
- run: opam exec -- odig odoc --cache-dir=_doc/ nanoev nanoev-picos nanoev-posix nanoev_tiny_httpd