2344

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
2344	generate-assets	Merge f8226f709 into 3e332c97a	Pull #1185	23 Aug 2024 10:05AM UTC	web-flow	github	72.43
2343	generate-assets	Merge 1e2d55a7a into 3e332c97a	Pull #1185	23 Aug 2024 09:47AM UTC	web-flow	github	72.43
2342	generate-assets	Merge 1f8e83339 into 3e332c97a	Pull #1185	23 Aug 2024 09:37AM UTC	web-flow	github	72.43
2341	generate-assets	Merge 3f9277deb into 3e332c97a	Pull #1185	23 Aug 2024 09:36AM UTC	web-flow	github	72.43
2340	generate-assets	Merge 18cb40449 into 3e332c97a	Pull #1185	23 Aug 2024 09:00AM UTC	web-flow	github	72.43
2339	generate-assets	Merge 51cd33077 into 3e332c97a	Pull #1185	22 Aug 2024 03:45PM UTC	web-flow	github	72.45
2335	separate-generate-commands	Merge a63b3d66e into 7f45531ae	Pull #1188	22 Aug 2024 11:48AM UTC	web-flow	github	72.48
2334	master	line editing for odoc_for_authors.mld (#1166) * line editing for odoc_for_authors.mld * comma for clarity * comma for clarity * replace repeated word with active verb * applying Julow's suggestion * remove line break * Jules's s...	push	22 Aug 2024 10:49AM UTC	web-flow	github	71.8
2333	edit_for_authors	Merge 806a94f9a into 5d31ff2d3	Pull #1166	22 Aug 2024 10:48AM UTC	web-flow	github	71.8
2332	master	Line editing for dune.mld (#1180)	push	22 Aug 2024 10:44AM UTC	web-flow	github	71.8
2331	edit_dune.mld	Merge 27ef666fb into a28b179e6	Pull #1180	22 Aug 2024 10:44AM UTC	web-flow	github	71.8
2330	separate-generate-commands	Merge acd14fceb into a28b179e6	Pull #1188	22 Aug 2024 10:38AM UTC	web-flow	github	72.48
2329	frontmatter	Merge aff258327 into a28b179e6	Pull #1187	22 Aug 2024 09:56AM UTC	web-flow	github	71.83
2328	media-in-odoc3	Merge b319254e6 into a28b179e6	Pull #1184	22 Aug 2024 09:41AM UTC	web-flow	github	71.97
2327	odoc3-external-pages	Merge 046bed9eb into a28b179e6	Pull #1183	21 Aug 2024 03:03PM UTC	web-flow	github	71.8

← Previous
1
2
…
25
26
27
28
29
30
31
32
33
…
143
144
Next →