29138

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
29138	main	refactor: do not load super context for dune fmt rules (#11150) We aren't executing any external actions, so all the additional loading is useless. Signed-off-by: Rudi Grinberg <me@rgrinberg.com>	push	24 Nov 2024 12:12AM UTC	web-flow	github	6.93
29137	ps/rr/refactor__do_not_load_super_context_for_dune_fmt_rules	Merge eea569531 into 6ff2d87aa	Pull #11150	23 Nov 2024 10:49PM UTC	web-flow	github	6.93
29136	main	refactor: diff actions in formatting without super context (#11149) The diff actions aren't affected by the environment loaded in the super context so we don't need to load it. Signed-off-by: Rudi Grinberg <me@rgrinberg.com>	push	23 Nov 2024 08:14PM UTC	web-flow	github	6.93
29134	ps/rr/refactor__delay_loading_expanders_for_fmt_rules	Merge 4245a5d07 into b7a54f25e	Pull #11148	23 Nov 2024 05:41PM UTC	web-flow	github	6.93
29133	ps/rr/refactor__diff_actions_in_formatting_without_super_context	Merge 26ef4179c into b7a54f25e	Pull #11149	23 Nov 2024 04:17PM UTC	web-flow	github	6.93
29131	main	pkg: Print all the depexts (#11145) * pkg: Print all the depexts Signed-off-by: moyo <moyodiallo@gmail.com> Signed-off-by: Marek Kubica <marek@tarides.com>	push	22 Nov 2024 09:53PM UTC	web-flow	github	6.93
29130	pkg-depexts	Merge 12ef143dd into 20e495d5c	Pull #11145	22 Nov 2024 02:29PM UTC	web-flow	github	6.93
29129	explicit-tag-branch-disambiguition	Merge ec51e9656 into 20e495d5c	Pull #11147	22 Nov 2024 01:20PM UTC	web-flow	github	6.91
29128	main	test: Add reproduction case for #11140 (#11142) * test: Add reproduction case for #11140 Signed-off-by: Marek Kubica <marek@tarides.com> * Fix for non-GNU sed Signed-off-by: Marek Kubica <marek@tarides.com> --------- Signed-off-by:...	push	22 Nov 2024 09:15AM UTC	web-flow	github	6.93
29127	coqdoc-header-footer	Merge dc1181bd1 into a50384ade	Pull #11131	22 Nov 2024 07:27AM UTC	web-flow	github	6.94
29126	tools-install	Merge 145f2837b into a50384ade	Pull #11146	22 Nov 2024 03:04AM UTC	web-flow	github	6.93
29124	pkg-depexts	Merge 5b07e5dc3 into a50384ade	Pull #11145	21 Nov 2024 11:26PM UTC	web-flow	github	6.93
29123	coqdoc-header-footer	Merge 7b75def0f into a50384ade	Pull #11131	21 Nov 2024 09:49PM UTC	web-flow	github	6.94
29122	coqdoc-header-footer	Merge 883ea5695 into a50384ade	Pull #11131	21 Nov 2024 09:38PM UTC	web-flow	github	7.18
29121	pkg-depexts	Merge 0372058fa into a50384ade	Pull #11145	21 Nov 2024 05:48PM UTC	web-flow	github	6.93

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