3757

Committed 29 May 2023 08:19AM UTC coverage: 16.88%. First build

Build # 3757

Build Type

push

github

Committed by Rudi Grinberg

Commit Message

feature(lsp): allow progress notifications from client

Run Details

0 of 19 new or added lines in 5 files covered. (0.0%)

3934 of 23305 relevant lines covered (16.88%)

17.3 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

0.0

/lsp/src/progress.ml