61 commits

Author	SHA1	Message	Date
Simon Cruanes	40b84944a7	ugh	2026-03-13 15:22:58 -04:00
Raphaël Proust	74022be198	compatibility with lwt 6 (#128) ... * compatibility with lwt 6 * try to work for lwt 5 and lwt 6 * CI: try lwt 5 then lwt 6 * only try lwt 6 on OCaml >= 5 * relax lwt bounds * more robust dune rule * CI --------- Co-authored-by: Simon Cruanes <simon.cruanes.2007@m4x.org>	2026-03-13 15:17:09 -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	9af7e070b9	CI: trace refactor was merged into main	2026-01-20 20:24:56 -05:00
Simon Cruanes	47ce0b2efd	CI: pin+install ambient-context	2026-01-20 20:02:51 -05:00
Simon Cruanes	95fe450599	CI	2026-01-20 00:38:20 -05:00
Simon Cruanes	ee144aec22	use an opam pin in CI	2026-01-20 00:15:31 -05:00
Simon Cruanes	1a77e8d91e	remove matt from codeowners	2026-01-20 00:15:30 -05:00
Simon Cruanes	55a5d1ed88	disable nix CI for now	2026-01-20 00:15:30 -05:00
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