`lean3ls` failure on `ubuntu-latest`

rish987 / nvim-lspconfig-test

Language-specific integration testing of nvim+LSP via neovim/nvim-lspconfig (intend to upstream to nvim-lua)

2 stars 1 forks source link

Closed github-actions[bot] closed 3 years ago

github-actions[bot] commented 3 years ago

lean3ls failure on ubuntu-latest @ 9177d6480c4a2591f0fd811e9a503044b40a2c43; see workflow 1050758767

@rish987 fix this!

github-actions[bot] commented 3 years ago

Resolved @ 095dcd53ef5efa667933d95caf16cfd49e4afb45; see workflow 1050791862