2613

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
2613	compat-5.3	Merge 40d8956fd into 822d26623	Pull #1254	03 Dec 2024 11:02AM UTC	web-flow	github	73.28
2611	compat-5.3	Merge 117562ddd into 822d26623	Pull #1254	03 Dec 2024 10:49AM UTC	web-flow	github	73.28
2609	preview-ocamlformat-0.27.0-preview1	Merge faa2b77e0 into 822d26623	Pull #1227	28 Nov 2024 10:17AM UTC	web-flow	github	73.28
2599	further-voodoo	Merge 5ef2f8a24 into 822d26623	Pull #1252	25 Nov 2024 04:06PM UTC	web-flow	github	73.29
2590	master	Update CHANGES.md	push	21 Nov 2024 02:32PM UTC	jonludlam	github	73.29
2589	further-voodoo	Merge 5b24ad1d4 into 29d490829	Pull #1252	21 Nov 2024 02:31PM UTC	web-flow	github	73.17
2588	improve-compile-index	Merge 96ed63f87 into 29d490829	Pull #1247	21 Nov 2024 10:45AM UTC	web-flow	github	72.94
2582	master	Children order: review comments	push	18 Nov 2024 02:19PM UTC	jonludlam	github	73.17
2580	master	Fix rendering of sidebar in modules	push	18 Nov 2024 11:18AM UTC	jonludlam	github	73.18
2579	toc-tree-2	Merge 3b9c7381a into fccfbc732	Pull #1244	18 Nov 2024 10:51AM UTC	web-flow	github	73.18
2578	master	Doc: improve doc on implicit ending of blocks	push	18 Nov 2024 10:19AM UTC	jonludlam	github	73.14
2577	html-remap	Merge 2b2c0fb15 into 3c579999b	Pull #1248	15 Nov 2024 05:37PM UTC	web-flow	github	73.17
2576	master	Driver: better error handling	push	15 Nov 2024 05:36PM UTC	jonludlam	github	73.14
2573	html-remap	Merge 0d4c2c38d into 20f28f59d	Pull #1248	15 Nov 2024 04:13PM UTC	web-flow	github	73.17
2571	improve-compile-index	Merge 5a79e1933 into 20f28f59d	Pull #1247	15 Nov 2024 03:40PM UTC	web-flow	github	72.94

← Previous
1
2
…
13
14
15
16
17
18
19
20
21
…
143
144
Next →