[WIP] fixing test flakiness

Julian / lean.nvim

Neovim support for the Lean theorem prover

MIT License

276 stars 26 forks source link

[WIP] fixing test flakiness #254

Closed rish987 closed 2 years ago

rish987 commented 2 years ago

(ignore this for now, I'm making this PR so I can test things out with CI)

rish987 commented 2 years ago

Okay it seems there wasn't actually much to do here, I think that 452f3c9 actually already fixed the fileProgress problem. Though I may have just forgotten the reason that I was waiting on #250 -- if anyone notices any flakiness in the future, let me know (and link me to the CI run if possible).

Julian commented 2 years ago

Hooray, sounds good thanks!