`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 @ 11b4064ecb2004df0242f3e4f22aba6279348347; see workflow 1050969194

@rish987 fix this!