50 commits

Author	SHA1	Message	Date
Simon Cruanes	ea1c6ba0f5	CI: pin ocaml-trace to a specific commit	2026-01-20 00:15:28 -05:00
Simon Cruanes	ca6482085d	try to fix CI	2026-01-20 00:15:28 -05:00
Simon Cruanes	38af88ccc9	CI	2025-12-05 09:36:28 -05:00
Simon Cruanes	ba1a8eec98	update protobuf code	2025-12-01 20:32:05 -05:00
Simon Cruanes	2e69dd5a3d	update ocaml-protoc in CI	2025-12-01 20:32:05 -05:00
Simon Cruanes	6da4aa4ec1	yes yes use the right commit please	2025-12-01 20:32:04 -05:00
Simon Cruanes	f51d52abfc	chore: CI: pin specific commit for pbrt/ocaml-protoc	2025-12-01 20:32:04 -05:00
ajbt200128	03609b5845	add cachix setup	2025-09-08 09:32:45 -07:00
ajbt200128	292a9efc4f	add nix flake workflow check	2025-09-08 09:32:45 -07:00
ajbt200128	7c35c764bb	add install workflow test	2025-07-31 14:36:17 -07:00
Shon Feder	26baa4d26b	Remove testing branch from PR	2025-07-12 12:34:23 -04:00
Shon Feder	94772c7fe4	Fix GitHub actions for Ocaml5 specific tests ... Co-authored-by: Puneeth Chaganti <punchagan@muse-amuse.in>	2025-07-12 00:30:31 -04:00
Shon Feder	a0bee6bfcc	Only install Eio in builds for ocaml >= 5	2025-07-12 00:30:31 -04:00
Simon Cruanes	885d0b6a75	CI	2025-05-27 09:45:29 -04:00
Simon Cruanes	7860e949d0	CI	2025-04-17 10:15:08 -04:00
Simon Cruanes	c3c5761b06	prepare for 0.11	2025-01-31 17:37:32 -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
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