2264

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
2264	fewer-name-to-strings	Merge 67ed47d85 into 4c03cf3c4	Pull #1177	29 Jul 2024 03:09PM UTC	web-flow	github	71.85
2265	refactor-driver	Merge 1375d6e7e into 4c03cf3c4	Pull #1179	29 Jul 2024 03:08PM UTC	web-flow	github	71.9
2262	edit_ocamldoc-differences	Merge 0cef09b01 into 4c03cf3c4	Pull #1178	29 Jul 2024 01:23PM UTC	web-flow	github	71.9
2260	edit_driver	Merge 183b7328d into 4c03cf3c4	Pull #1175	29 Jul 2024 01:11PM UTC	web-flow	github	71.9
2259	edit_driver	Merge b64e5a776 into 4c03cf3c4	Pull #1175	29 Jul 2024 01:05PM UTC	web-flow	github	71.9
2258	edit_driver	Merge 60fad566d into 4c03cf3c4	Pull #1175	29 Jul 2024 12:58PM UTC	web-flow	github	71.9
2257	edit_driver	Merge b492a82ac into 4c03cf3c4	Pull #1175	29 Jul 2024 12:57PM UTC	web-flow	github	71.9
2255	edit_driver	Merge ef627af68 into 4c03cf3c4	Pull #1175	29 Jul 2024 12:55PM UTC	web-flow	github	71.9
2254	edit_features	Merge 96c0fff13 into 4c03cf3c4	Pull #1172	29 Jul 2024 11:18AM UTC	web-flow	github	71.9
2253	master	Refactor Ident_env.extract_signature_type_items This separates the item extraction from the handling of visibility and of the 'hidden' flag.	push	29 Jul 2024 11:07AM UTC	jonludlam	github	71.9
2252	master	Be more consistent with variable names pkgname -> pkg_name	push	29 Jul 2024 10:51AM UTC	jonludlam	github	71.9
2251	voodoo-odoc-driver	Merge 35f80e8b3 into 711193fb2	Pull #1168	29 Jul 2024 10:34AM UTC	web-flow	github	71.9
2250	voodoo-odoc-driver	Merge df6b4175c into 711193fb2	Pull #1168	29 Jul 2024 10:33AM UTC	web-flow	github	71.9
2249	edit_features	Merge 373c38c91 into 711193fb2	Pull #1172	29 Jul 2024 10:21AM UTC	web-flow	github	71.9
2248	edit_features	Merge dd2c818a5 into 711193fb2	Pull #1172	29 Jul 2024 10:21AM UTC	web-flow	github	71.9

← Previous
1
2
…
30
31
32
33
34
35
36
37
38
…
143
144
Next →