15 commits

Author	SHA1	Message	Date
Simon Cruanes	b766f86019	CI	2026-04-06 15:56:41 -04:00
Simon Cruanes	5031be8d91	use docker images for CI (#130) ... * use docker images for CI * run gha as root in docker using the opam user wouldn't work for actions like checkout * make our own docker images from ubuntu LTS * details * fix eio step * fix build issues in docker	2026-04-06 15:47:16 -04:00
Simon Cruanes	8ebc582a00	add gh-pages back (!)	2026-04-06 09:25:38 -04:00
Simon Cruanes	7cc0ee1701	CI: remove gh-pages, add format	2026-02-19 15:54:17 -05:00
Simon Cruanes	6fe90a3cfe	try to fix CI	2026-02-10 22:42:25 -05:00
Simon Cruanes	a3d375ce90	CI	2026-01-20 20:39:20 -05:00
Simon Cruanes	f604f0b876	fix CI	2025-01-30 20:32:33 -05:00
Simon Cruanes	5dd68095ed	CI	2024-09-20 12:08:38 -04:00
Simon Cruanes	9e2fc9445b	new gh-pages	2024-02-20 13:20:19 -05:00
Simon Cruanes	50e7414f12	chore: try to fix github page	2022-10-26 09:52:16 -04:00
Simon Cruanes	d235d8ab8c	chore: try to fix gh-pages CI	2022-07-07 16:43:02 -04:00
Simon Cruanes	60c6386742	chore: try to fix gh-pages	2022-05-04 12:56:22 -04:00
Simon Cruanes	6de3622a42	chore: try to fix gh-pages CI action	2022-05-04 12:46:08 -04:00
Simon Cruanes	d261347987	ci	2022-03-18 11:53:43 -04:00
Simon Cruanes	200bad09bc	generate doc	2022-03-18 11:10:48 -04:00