Julian / lean.nvim

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

Trying to fix Lean 3 test failures. #120

Closed rish987 closed 3 years ago

rish987 commented 3 years ago

Something changed with Lean 3 so that the LSP-related tests no longer pass. Can't reproduce locally so making a PR to try things out.

codecov[bot] commented 3 years ago

Codecov Report

Merging #120 (a05b9f6) into main (d63c183) will increase coverage by 0.07%. The diff coverage is 100.00%.

Impacted file tree graph

@@            Coverage Diff             @@
##             main     #120      +/-   ##
==========================================
+ Coverage   94.30%   94.38%   +0.07%     
==========================================
  Files          31       31              
  Lines        1685     1673      -12     
==========================================
- Hits         1589     1579      -10     
+ Misses         96       94       -2     
Impacted Files Coverage Δ
lua/lean/lean3.lua 100.00% <100.00%> (+4.76%) :arrow_up:
lua/lean/sorry.lua 100.00% <100.00%> (ø)
lua/tests/helpers.lua 97.91% <100.00%> (+0.01%) :arrow_up:
lua/tests/infoview/lsp_spec.lua 91.54% <100.00%> (ø)

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 d63c183...a05b9f6. Read the comment docs.