29101

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
29101	doc/pkg-install	Merge 325425a57 into 1e15301fa	Pull #11137	20 Nov 2024 02:00PM UTC	web-flow	github	6.93
29100	doc/pkg-install	Merge 48ca34c0a into 1e15301fa	Pull #11137	20 Nov 2024 12:15PM UTC	web-flow	github	6.93
29099	doc/pkg-install	Merge 962d9dfcb into 1e15301fa	Pull #11137	20 Nov 2024 11:48AM UTC	web-flow	github	6.93
29098	patch-1	Merge dd36480a7 into 1e15301fa	Pull #10932	20 Nov 2024 11:39AM UTC	web-flow	github	6.93
29097	cleaner-solver-failure	Merge f475b6482 into 1e15301fa	Pull #11040	20 Nov 2024 11:02AM UTC	web-flow	github	6.93
29096	main	feat: introduce the @pkg-install alias (#11046) Introduce an alias to fetch and build the dependencies of a project using dune package management. Signed-off-by: Etienne Marais <dev@maiste.fr> Signed-off-by: Rudi Grinberg <me@rgrinberg.com> ...	push	20 Nov 2024 10:08AM UTC	web-flow	github	6.93
29091	patch-1	Merge 8b2c874b3 into 5ac095c7c	Pull #11122	20 Nov 2024 09:56AM UTC	web-flow	github	6.93
29095	feat/pkg-deps-alias	Merge 9806b4828 into 5ac095c7c	Pull #11046	20 Nov 2024 09:40AM UTC	web-flow	github	6.93
29093	fix-patch-expect-tests-on-macos	Merge a9287bc0c into 5ac095c7c	Pull #11132	20 Nov 2024 06:00AM UTC	web-flow	github	6.93
29092	fix-patch-expect-tests-on-macos	Merge b534ffcc5 into 5ac095c7c	Pull #11132	20 Nov 2024 12:57AM UTC	web-flow	github	6.93
29090	feat/pkg-deps-alias	Merge 61d353e28 into 5ac095c7c	Pull #11046	19 Nov 2024 10:54PM UTC	web-flow	github	6.93
29089	feat/pkg-deps-alias	Merge a22ebee85 into 5ac095c7c	Pull #11046	19 Nov 2024 10:37PM UTC	web-flow	github	6.93
29087	main	feature: improve hints for dune runtest (#11135) We improve the hints given by `dune runtest` by letting it also hint about directories, which was missing before. This allows directory cram tests to also be suggested when a user mispells a test...	push	19 Nov 2024 09:43PM UTC	web-flow	github	6.93
29084	coqdoc-header-footer	Merge afd123dad into c0d68be9e	Pull #11131	19 Nov 2024 07:30PM UTC	web-flow	github	6.93
29083	improve-runtest-hints	Merge 0c3c9c559 into c0d68be9e	Pull #11135	19 Nov 2024 06:15PM UTC	web-flow	github	6.93

← Previous
1
2
…
6
7
8
9
10
11
12
13
14
…
685
686
Next →