3727
23%

Ran 12 May 2023 06:19PM UTC

Jobs 1

Files 86

Run time 5s

Badge

Committed 12 May 2023 06:19PM UTC coverage: 16.885% (+0.008%) from 16.877%

Build # 3727

Build Type

push

github

Committed by GitHub

Commit Message

feature(lsp): api for absolute positions (#1091)

Run Details

2 of 7 new or added lines in 1 file covered. (28.57%)

3935 of 23305 relevant lines covered (16.88%)

17.38 hits per line

Lines	Coverage	∆	File
5	75.51	-7.82%	lsp/src/text_document.ml

ID	Job ID	Ran	Files	Coverage
1	3727.1	12 May 2023 06:19PM UTC	86	16.88	GitHub Action Run