11 commits

Author	SHA1	Message	Date
Simon Cruanes	f9c6c077c6	fix CI	2025-02-04 22:01:47 -05:00
Simon Cruanes	fc69ce4c91	faster doc build	2024-01-10 12:55:17 -05:00
Simon Cruanes	d1af13a9dd	faster CI	2024-01-10 12:52:20 -05:00
Simon Cruanes	f0f5396cc2	fix CI after renaming branch to main	2024-01-10 12:45:25 -05:00
Simon Cruanes	c4c2630b60	ci: do not run on 4.03 anymore	2023-05-04 12:39:28 -04:00
Simon Cruanes	f36a9fc5fc	move benchs out of src/	2022-10-18 16:48:13 -04:00
Simon Cruanes	e02e19cd4e	chore: CI	2022-10-18 16:12:04 -04:00
Simon Cruanes	40aa539f67	chore: add CI for doc	2021-11-19 10:12:42 -05:00
Simon Cruanes	02e2ae61d2	chore: disable macOS in CI	2021-11-19 10:11:46 -05:00
Simon Cruanes	7244b2eb5e	chore: update CI to use ocaml actions v2	2021-11-19 09:48:10 -05:00
Simon Cruanes	670d8b09f3	move to github ci	2021-01-08 12:41:16 -05:00