4097

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
4097	master	feat(ocamllsp): support Pexp_ifthenelse folding ranges (#1031) * test(ocamllsp): add test for Pexp_ifthenelse folding ranges * feat(ocamllsp): support Pexp_ifthenelse folding ranges	push	19 Feb 2024 01:30AM UTC	web-flow	github	20.38
4094	master	feat(ocamllsp): support Pexp_ifthenelse folding ranges (#1031) * test(ocamllsp): add test for Pexp_ifthenelse folding ranges * feat(ocamllsp): support Pexp_ifthenelse folding ranges	push	12 Feb 2024 01:29AM UTC	web-flow	github	20.38
4092	master	feat(ocamllsp): support Pexp_ifthenelse folding ranges (#1031) * test(ocamllsp): add test for Pexp_ifthenelse folding ranges * feat(ocamllsp): support Pexp_ifthenelse folding ranges	push	05 Feb 2024 01:31AM UTC	web-flow	github	20.38
4088	folding-range-ifthenelse	Merge 729c63ddd into cb06208ce	Pull #1031	30 Jan 2024 11:07AM UTC	web-flow	github	20.38
4087	folding-range-ifthenelse	Merge b1d34bac8 into cb06208ce	Pull #1031	29 Jan 2024 03:37PM UTC	web-flow	github	20.38
4086	master	Add flag to disable dune diagnostics (#1221) * add config to control dune diagnostics	push	29 Jan 2024 01:30AM UTC	web-flow	github	20.38
4083	remove-flake-utils-dep	Merge 27227d0f7 into cb06208ce	Pull #1226	25 Jan 2024 03:57AM UTC	web-flow	github	20.38
4085	master	Add flag to disable dune diagnostics (#1221) * add config to control dune diagnostics	push	22 Jan 2024 01:36AM UTC	web-flow	github	20.38
4084	master	Add flag to disable dune diagnostics (#1221) * add config to control dune diagnostics	push	15 Jan 2024 01:35AM UTC	web-flow	github	20.38
4082	master	Add flag to disable dune diagnostics (#1221) * add config to control dune diagnostics	push	08 Jan 2024 01:34AM UTC	web-flow	github	20.38
4079	5.2-no-dune	Merge c72a16425 into d3d8de5a4	Pull #1221	05 Jan 2024 08:06PM UTC	web-flow	github	20.38
4078	5.2-no-dune	Merge f1456b7f3 into d3d8de5a4	Pull #1221	05 Jan 2024 08:01PM UTC	web-flow	github	20.4
4077	5.2-no-dune	Merge 1695eae1a into d3d8de5a4	Pull #1221	05 Jan 2024 07:59PM UTC	web-flow	github	20.4
4076	5.2-no-dune	Merge c6e6d43ab into d3d8de5a4	Pull #1221	05 Jan 2024 07:52PM UTC	web-flow	github	20.39
4072	5.2-no-dune	Merge 468e4c319 into d3d8de5a4	Pull #1221	05 Jan 2024 06:28PM UTC	web-flow	github	20.4

← Previous
1
2
…
37
38
39
40
41
42
43
44
45
…
51
52
Next →