2373

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
2373	page-order-new-take	Merge 964e36051 into ef9ca4869	Pull #1193	30 Aug 2024 06:49AM UTC	web-flow	github	72.97
2372	master	Media: add alt text to aria-label for audio and video As per the recommended solution of: https://www.w3.org/WAI/PF/HTML/wiki/Media_Alt_Technologies	push	27 Aug 2024 04:02PM UTC	jonludlam	github	72.85
2371	media-in-odoc3	Merge 3d20740f6 into 8b1cb7662	Pull #1184	27 Aug 2024 03:49PM UTC	web-flow	github	72.85
2370	master	Update tests	push	27 Aug 2024 03:47PM UTC	jonludlam	github	72.68
2369	master	Formatting	push	27 Aug 2024 03:28PM UTC	jonludlam	github	72.45
2368	simplify_type_idents	Merge 8555bf185 into 053c55e35	Pull #1176	27 Aug 2024 03:25PM UTC	web-flow	github	72.66
2366	media-in-odoc3	Merge 62663f593 into 053c55e35	Pull #1184	27 Aug 2024 02:55PM UTC	web-flow	github	72.6
2365	master	4.02 compat	push	27 Aug 2024 12:42PM UTC	jonludlam	github	72.43
2364	media-in-odoc3	Merge 5f7712ee4 into 01e552125	Pull #1184	27 Aug 2024 12:21PM UTC	web-flow	github	72.65
2363	media-in-odoc3	Merge cd15d9afa into 01e552125	Pull #1184	27 Aug 2024 12:12PM UTC	web-flow	github	72.65
2362	html-remap-idents	Merge 285dfe3ec into 01e552125	Pull #1189	27 Aug 2024 12:07PM UTC	web-flow	github	72.5
2361	careful-library-deps	Merge 3faf795ad into 01e552125	Pull #1192	27 Aug 2024 11:59AM UTC	web-flow	github	72.49
2360	html-remap-idents	Merge 3380fc871 into 01e552125	Pull #1189	27 Aug 2024 11:54AM UTC	web-flow	github	72.5
2358	master	open Odoc_utils on top of file	push	26 Aug 2024 03:50PM UTC	panglesd	github	72.48
2357	man_kind_prefixing	Merge 67d8eaeef into a45c770b6	Pull #1191	26 Aug 2024 01:54PM UTC	web-flow	github	72.44

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