search

Julian / lean.nvim

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

Linearize plainGoal/plainTermGoal requests. #110

Closed rish987 closed 3 years ago

rish987 commented 3 years ago

Closes #109.

codecov[bot] commented 3 years ago

Codecov Report

Merging #110 (40792f4) into main (dcb9b27) will increase coverage by 0.17%. The diff coverage is 100.00%.

Impacted file tree graph

@@            Coverage Diff             @@
##             main     #110      +/-   ##
==========================================
+ Coverage   94.31%   94.49%   +0.17%     
==========================================
  Files          30       31       +1     
  Lines        1566     1598      +32     
==========================================
+ Hits         1477     1510      +33     
+ Misses         89       88       -1
Impacted Files Coverage Δ
lua/lean/infoview.lua 94.95% <100.00%> (+0.17%) :arrow_up:
lua/lean/lean3.lua 95.23% <100.00%> (ø)
lua/tests/infoview/start_spec.lua 100.00% <0.00%> (ø)
lua/tests/helpers.lua 98.40% <0.00%> (+0.31%) :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 dcb9b27...40792f4. Read the comment docs.

Julian commented 3 years ago

Great, thanks! LGTM.