Add running the type checker to the makefile.

Ideally this would happen through pre-commit and run in CI, but there's no hook that can currently do so :/
Julian · Oct 15, 2023 · 10e2f57 · 10e2f57
1 parent af91fdb
commit 10e2f57
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -52,3 +52,6 @@ install-luacov:
 
 lint:
 	pre-commit run --all-files
+	if [ -x $$(command -v lua-language-server) ]; then \
+		lua-language-server --check lua/lean --checklevel=Warning --configpath $(PWD)/.luarc.json; \
+	fi