5 commits

Author	SHA1	Message	Date
Simon Cruanes	6c8d6840f8	chore: update workflows	2025-01-27 21:49:09 -05:00
Simon Cruanes	477c780f18	CI	2023-06-26 15:40:38 -04:00
Simon Cruanes	bf1f9e7ce1	try to fix CI	2021-11-28 19:08:26 -05:00
Simon Cruanes	eb23644195	fix ci for gh-pages	2021-07-20 00:46:16 -04:00
Simon Cruanes	e3a8422ab0	udpate CI; bump minimal ocaml to 4.04; add auto-doc ... run simplex tests only on OCaml >= 4.08	2021-06-10 12:57:23 -04:00