6 commits

Author	SHA1	Message	Date
Sacha-Élie Ayoun	b3e7de8bbe	checkout submodules in ci ... Signed-off-by: Sacha-Élie Ayoun <sachaayoun@gmail.com>	2025-04-03 17:13:15 +01:00
Simon Cruanes	9ff0ac5d28	CI: move to setup-ocaml v3	2025-01-10 11:42:51 -05:00
Simon Cruanes	4720f60a59	do not actually fail silently, lolol	2024-04-18 11:55:27 -04:00
Simon Cruanes	5caec361dd	do not fail when updating docs?	2024-04-18 11:45:44 -04:00
Simon Cruanes	7730eabf98	fix workflow	2024-02-20 13:13:08 -05:00
Simon Cruanes	9a1dc8fd9a	gh pages	2024-02-20 13:00:34 -05:00