34 commits

Author	SHA1	Message	Date
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
Matt Bray	01a0dc7d8d	fix(gha): try --solver=mccs	2024-08-08 11:14:44 +01:00
Simon Cruanes	21a40b7c5a	CI	2024-03-21 18:26:14 -04:00
Simon Cruanes	9e2fc9445b	new gh-pages	2024-02-20 13:20:19 -05:00
Simon Cruanes	8d0f815fe2	CI	2024-02-09 14:57:50 -05:00
Simon Cruanes	086c7a71df	CI	2024-02-09 14:46:42 -05:00
Simon Cruanes	81d2d5ceef	chore: make sure we don't depend on ocaml-protoc for regular build	2024-02-07 14:47:42 -05:00
Simon Cruanes	8164ae55b8	CI: only on push to main	2023-12-14 20:49:12 -05:00
Simon Cruanes	936c74ea36	fast CI	2023-12-14 20:49:11 -05:00
Simon Cruanes	e6405ef7b6	CI	2023-12-14 20:49:11 -05:00
Simon Cruanes	9c096411a2	debug git diff	2023-11-14 22:42:39 -05:00
Simon Cruanes	705d541c3f	chore: use protoc 2.4 in CI	2023-11-08 12:11:32 -05:00
Simon Cruanes	c915730833	CI: run on 5.0; run on every branch push	2023-08-31 23:44:16 -04:00
Simon Cruanes	64bd211ac7	ci	2023-06-20 13:16:21 -04:00
Simon Cruanes	50e7414f12	chore: try to fix github page	2022-10-26 09:52:16 -04:00
Simon Cruanes	37a9bbb244	chore: lwt_ppx test dep	2022-10-03 12:43:33 -04:00
Simon Cruanes	078b074734	chore: ask for ocaml-protoc 2.3 in CI ... version that supports optional in proto3	2022-09-30 13:59:28 -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	62d1a9cec7	fix codeowners	2022-05-04 11:22:52 -04:00
Simon Cruanes	f1db92a817	Merge pull request #18 from imandra-ai/ocaml-protoc-as-lint ... Ocaml protoc as lint	2022-05-04 11:19:26 -04:00
Simon Cruanes	c853ffb6ff	codeowners	2022-05-04 11:19:16 -04:00
Simon Cruanes	590ae44fe6	chore: ci	2022-05-03 13:52:21 -04:00
Simon Cruanes	7e4a1adf83	ci: use depext	2022-05-03 13:52:21 -04:00
Simon Cruanes	e5b5da9414	chore: check for lint in CI	2022-05-03 13:52:21 -04:00
Simon Cruanes	d72763ad3c	fix CI	2022-05-03 13:52:21 -04:00
Simon Cruanes	5944e4f9af	chore: CI	2022-05-03 13:28:32 -04:00
Matt Bray	078e8b416d	chore: build opentelemetry-cohttp-lwt in CI	2022-03-25 11:59:48 +00:00
Simon Cruanes	f20e613256	chore: ci	2022-03-18 12:13:28 -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
Simon Cruanes	70dba09773	github actions	2022-03-18 11:09:50 -04:00