1071

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
1071	root-in-sidebar-really	Driver: better landing pages	push	06 Dec 2024 12:39PM UTC	panglesd	github	72.9
1067	root-in-sidebar-really	Promote tests	push	06 Dec 2024 09:25AM UTC	panglesd	github	72.97
1066	root-in-sidebar-really	Format dune files	push	06 Dec 2024 08:24AM UTC	panglesd	github	73.07
1065	root-in-sidebar-really	Delete useless `Html.Utils` module	push	06 Dec 2024 08:16AM UTC	panglesd	github	73.07
1064	root-in-sidebar-really	Delete useless `Html.Utils` module	push	06 Dec 2024 08:11AM UTC	panglesd	github	73.07
1063	root-in-sidebar-really	Delete useless `Html.Utils` module	push	06 Dec 2024 08:10AM UTC	panglesd	github	73.07
1062	root-in-sidebar-really	Json index: use json printing function	push	06 Dec 2024 08:05AM UTC	panglesd	github	73.07
1061	root-in-sidebar-really	Compatibility	push	06 Dec 2024 07:53AM UTC	panglesd	github	73.08
1060	root-in-sidebar-really	Driver: don't include source dir if no implementation are rendered	push	06 Dec 2024 07:32AM UTC	panglesd	github	73.08
1057	1250-sidebar-not-opt	Merge fed4676dc into 00317671a	Pull #34	02 Dec 2024 04:38PM UTC	web-flow	github	73.29
1055	root-in-sidebar-really	Sidebar: Use short title if present	push	27 Nov 2024 05:18PM UTC	panglesd	github	73.05
1053	root-in-sidebar-really	Compatibility	push	27 Nov 2024 01:34PM UTC	panglesd	github	73.06
1052	root-in-sidebar-really	CSS: slightly restyle the global sidebar	push	27 Nov 2024 01:30PM UTC	panglesd	github	73.06
1051	root-in-sidebar-really	Compatibility	push	27 Nov 2024 01:13PM UTC	panglesd	github	73.06
1050	root-in-sidebar-really	Driver: Add a `src/` landing page	push	27 Nov 2024 12:44PM UTC	panglesd	github	73.06

← Previous
1
2
3
4
5
6
7
8
9
10
…
51
52
Next →