Commit graph

3 commits

Author SHA1 Message Date
Simon Cruanes
7e087ffc54
more CI 2024-01-19 09:31:35 -05:00
Simon Cruanes
ecf51ce32b
CI: use odoc, not odig 2024-01-19 09:09:06 -05:00
Simon Cruanes
c78313f76d
add doc generation in CI 2024-01-19 08:51:44 -05:00