search

Julian / lean.nvim

Neovim support for the Lean theorem prover
MIT License
277 stars 26 forks source link

Adapt LSP request handlers for neovim/neovim#15504. #129

Closed rish987 closed 3 years ago

codecov[bot] commented 3 years ago

Codecov Report

Merging #129 (6674cbe) into main (188afcb) will decrease coverage by 0.07%. The diff coverage is 92.68%.

Impacted file tree graph

@@            Coverage Diff             @@
##             main     #129      +/-   ##
==========================================
- Coverage   94.18%   94.10%   -0.08%     
==========================================
  Files          36       36              
  Lines        2114     2138      +24     
==========================================
+ Hits         1991     2012      +21     
- Misses        123      126       +3
Impacted Files Coverage Δ
lua/lean/lsp.lua 66.07% <86.66%> (-1.24%) :arrow_down:
lua/lean/_util.lua 87.17% <94.11%> (+5.36%) :arrow_up:
lua/lean/infoview.lua 94.77% <100.00%> (ø)
lua/lean/lean3.lua 79.59% <100.00%> (+1.33%) :arrow_up:

Continue to review full report at Codecov.

Legend - Click here to learn more Δ = absolute <relative> (impact), ø = not affected, ? = missing data Powered by Codecov. Last update 188afcb...6674cbe. Read the comment docs.