4834
23%

Ran 11 Apr 2025 08:43PM UTC

Jobs 1

Files 104

Run time 1min

Badge

Embed ▾

Committed 11 Apr 2025 08:19PM UTC coverage: 23.15% (+0.2%) from 22.991%

Build # 4834

Build Type

push

github

Committed by

web-flow

Commit Message

More control on typed holes (for navigation) (#1516)

* Introduce a new custom request `ocamllsp/jumpTypedHole`

* Test the custom request

* Add CHANGE entry

* Add more tests related to range

* Add specification

* Simplify request description

* Refactor typed-holes usage in a dedicated module

* Rename request name

* Rephrase documentation

* Rename `name` to `pipeline_name`

Run Details

51 of 60 new or added lines in 3 files covered. (85.0%)

5934 of 25633 relevant lines covered (23.15%)

61.59 hits per line

New Missed Lines in Diff

Lines	Coverage	∆	File
1	96.0		ocaml-lsp-server/src/typed_hole.ml
2	0.0	0.0%	ocaml-lsp-server/src/custom_requests/req_typed_holes.ml
6	81.82		ocaml-lsp-server/src/custom_requests/req_jump_to_typed_hole.ml

Jobs

ID	Job ID	Ran	Files	Coverage
1	4834.1	11 Apr 2025 08:43PM UTC	104	23.15	GitHub Action Run

ocaml / ocaml-lsp / 4834
23%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

New Missed Lines in Diff

Jobs

Source Files on build 4834

ocaml / ocaml-lsp / 4834 23%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

New Missed Lines in Diff

Jobs

Source Files on build 4834

ocaml / ocaml-lsp / 4834
23%

README BADGES
x