2446

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
2446	24-compat-52a1	Merge 58f05793a into 8fcbb6aa9	Pull #1222	22 Oct 2024 08:16AM UTC	web-flow	github	56.3
2445	index_page	Merge be42317fc into 57a9ccf98	Pull #1221	21 Oct 2024 01:56PM UTC	web-flow	github	72.99
2444	index_page	Merge 9fed7ed61 into 57a9ccf98	Pull #1221	21 Oct 2024 01:52PM UTC	web-flow	github	72.99
2442	index_page	Merge f4cc882e6 into 57a9ccf98	Pull #1221	18 Oct 2024 02:44PM UTC	web-flow	github	72.99
2439	index_page	Merge c7d9ae7a3 into 57a9ccf98	Pull #1221	18 Oct 2024 02:04PM UTC	web-flow	github	72.99
2434	master	Add odoc driver output to gitignore	push	17 Oct 2024 04:11PM UTC	jonludlam	github	72.99
2432	new_driving_guide	Merge caddba42e into b52763973	Pull #1209	17 Oct 2024 10:09AM UTC	web-flow	github	72.99
2431	driver_gitignore	Merge 2e961496f into b52763973	Pull #1218	16 Oct 2024 12:19PM UTC	web-flow	github	72.99
2430	master	Count-occurrences: consistency and driver support Made the count-occurrences command a bit more consistent: - output names are now `name.odoc-occurrences` instead of `occurrences-name.odoc` (similar to "index" artifacts) - input dirs are positi...	push	11 Oct 2024 12:17PM UTC	jonludlam	github	72.99
2429	frontmatter_parser	Merge cee63d4cf into 8f15caade	Pull #1210	10 Oct 2024 02:34PM UTC	web-flow	github	72.89
2428	frontmatter_parser	Merge ebdee03f0 into 8f15caade	Pull #1210	10 Oct 2024 02:28PM UTC	web-flow	github	72.89
2427	master	opam: Update lower bounds on yojson The output format of older yojson was unstable in some cases.	push	10 Oct 2024 01:38PM UTC	jonludlam	github	73.0
2426	lower-bounds-yojson210	Merge 3a9240664 into 92e749904	Pull #1212	10 Oct 2024 10:26AM UTC	web-flow	github	73.0
2425	odoc-driver-errors4	Merge 07212e83c into 92e749904	Pull #1208	10 Oct 2024 10:19AM UTC	web-flow	github	72.98
2424	master	Reduce lower bounds on Dune The CI caught that this test increased the lower bounds on Dune.	push	10 Oct 2024 10:17AM UTC	jonludlam	github	73.0

← Previous
1
2
…
19
20
21
22
23
24
25
26
27
…
143
144
Next →