5 commits

Author	SHA1	Message	Date
Simon Cruanes	37f8a237ff	CI	2024-03-08 11:45:28 -05:00
Simon Cruanes	aa1b43be43	odoc again	2024-01-19 09:44:07 -05:00
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