search

Julian / lean.nvim

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

Test on neovim 0.5.1 #137

Closed gebner closed 3 years ago

codecov[bot] commented 3 years ago

Codecov Report

Merging #137 (bf1edbb) into main (66a88d2) will not change coverage. The diff coverage is n/a.

Impacted file tree graph

@@           Coverage Diff           @@
##             main     #137   +/-   ##
=======================================
  Coverage   93.70%   93.70%           
=======================================
  Files          37       37           
  Lines        2175     2175           
=======================================
  Hits         2038     2038           
  Misses        137      137

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 66a88d2...bf1edbb. Read the comment docs.

gebner commented 3 years ago

Apparently the new diagnostics test is flaky...