Merge pull request #1029 from mjlbach/ci/format_with_stylua

ci: lint and format with stylua

1 files changed, 15 insertions, 13 deletions

diff --git a/lua/lspconfig/leanls.lua b/lua/lspconfig/leanls.lua
index aa5153ca..946275dd 100644
--- a/lua/lspconfig/leanls.lua
+++ b/lua/lspconfig/leanls.lua
@@ -1,20 +1,22 @@
-local configs = require 'lspconfig/configs'
-local util = require 'lspconfig/util'
+local configs = require "lspconfig/configs"
+local util = require "lspconfig/util"
 
 configs.leanls = {
   default_config = {
-    cmd = {"lean", "--server"};
-    filetypes = {"lean"};
+    cmd = { "lean", "--server" },
+    filetypes = { "lean" },
     root_dir = function(fname)
-      return util.root_pattern("leanpkg.toml")(fname) or util.find_git_ancestor(fname) or util.path.dirname(fname)
-    end;
+      return util.root_pattern "leanpkg.toml"(fname) or util.find_git_ancestor(fname) or util.path.dirname(fname)
+    end,
     on_new_config = function(config, root)
-      if not util.path.is_file(root .. "/leanpkg.toml") then return end
+      if not util.path.is_file(root .. "/leanpkg.toml") then
+        return
+      end
       if not config.cmd_cwd then
         config.cmd_cwd = root
       end
-    end;
-  };
+    end,
+  },
   docs = {
     description = [[
 https://github.com/leanprover/lean4
@@ -24,10 +26,10 @@ Lean installation instructions can be found
 
 The Lean 4 language server is built-in with a Lean 4 install
 (and can be manually run with, e.g., `lean --server`).
-    ]];
+    ]],
     default_config = {
-      root_dir = [[root_pattern("leanpkg.toml") or root_pattern(".git") or path.dirname]];
-    };
-  };
+      root_dir = [[root_pattern("leanpkg.toml") or root_pattern(".git") or path.dirname]],
+    },
+  },
 }
 -- vim:et ts=2 sw=2