29243

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
29243	pins-named-pins	Merge e9336b489 into b544d27e2	Pull #11186	09 Dec 2024 08:33AM UTC	web-flow	github	6.91
29242	main	Simplify addition of mock-repo in a lot of tests (#11185) A lot of tests just do the very basic addition of the mock-repo into the workspace with the repo overridden sometimes, so this applies the helper function wherever that's easily possible...	push	09 Dec 2024 08:32AM UTC	web-flow	github	6.91
29241	reduce-repository-boilerplate	Merge c52ee370d into bca9e656b	Pull #11185	09 Dec 2024 08:05AM UTC	web-flow	github	6.91
29240	main	feature: add --prefix to configure script (#11172) In symmetry with --prefix in the install command. Fix #10229 Signed-off-by: Rudi Grinberg <me@rgrinberg.com>	push	08 Dec 2024 06:21PM UTC	web-flow	github	6.91
29239	ps/rr/feature__add___prefix_to_configure_script	Merge b44190d26 into 832acca36	Pull #11172	08 Dec 2024 04:17PM UTC	web-flow	github	6.91
29238	ps/rr/feature__add___prefix_to_configure_script	Merge bc5bb6b40 into 832acca36	Pull #11172	08 Dec 2024 11:01AM UTC	web-flow	github	6.91
29232	dune-project-source-dyn	Merge 03284e354 into 832acca36	Pull #11187	06 Dec 2024 03:11PM UTC	web-flow	github	6.91
29231	preview-ocamlformat-0.27.0-preview1	Merge bd0448fa8 into 832acca36	Pull #11059	06 Dec 2024 02:01PM UTC	web-flow	github	6.91
29229	dune-pkg-stanza-doc	Merge 8709c66ae into 832acca36	Pull #11181	06 Dec 2024 01:35PM UTC	web-flow	github	6.91
29227	pins-named-pins	Merge 456fcba58 into 832acca36	Pull #11186	06 Dec 2024 11:40AM UTC	web-flow	github	6.91
29226	dune-pkg-stanza-doc	Merge 60d91c117 into 832acca36	Pull #11181	06 Dec 2024 11:15AM UTC	web-flow	github	6.91
29225	reduce-repository-boilerplate	Merge 3ee2b0c7a into 832acca36	Pull #11185	06 Dec 2024 10:28AM UTC	web-flow	github	6.91
29224	main	Rename `source` to `url` in `repository` stanza (#11183) This aligns the naming of `repository` and `pin`, where pin uses `url` and repository used `source` for a field with the same semantics. Signed-off-by: Marek Kubica <marek@tarides.com>	push	06 Dec 2024 10:20AM UTC	web-flow	github	6.91
29223	rename-source-url	Merge 8fa12d015 into 5eeb82358	Pull #11183	06 Dec 2024 10:03AM UTC	web-flow	github	6.91
29221	main	Update Wasm_of_ocaml action (#11184) The attempts to update the workflow as Wasm_of_ocaml has been merged upstream in https://github.com/ocsigen/js_of_ocaml/pull/1724 and the wasm-dune branch is gone. Signed-off-by: Marek Kubica <marek@tarid...	push	06 Dec 2024 09:44AM UTC	web-flow	github	6.91

← Previous
1
2
3
4
5
6
7
8
9
…
685
686
Next →