ci: check types

.github/workflows/.luarc.json

@@ -0,0 +1,16 @@
+{
+  "$schema": "https://raw.githubusercontent.com/sumneko/vscode-lua/master/setting/schema.json",
+  "runtime.version": "LuaJIT",
+  "runtime.path": [
+    "lua/?.lua",
+    "lua/?/init.lua"
+  ],
+  "Lua.workspace.library": [
+    "/github/workspace",
+    "/github/workspace/deps/neodev.nvim/types/stable",
+    "/github/workspace/deps/neodev.nvim/types/nightly",
+    "${3rd}/busted/library"
+  ],
+  "Lua.diagnostics.libraryFiles": "Disable",
+  "Lua.workspace.checkThirdParty": "Disable"
+}

.github/workflows/typecheck.yml

@@ -0,0 +1,32 @@
+---
+name: lua_ls-typecheck
+
+on:
+  push:
+    branches:
+      - "main"
+  pull_request:
+    branches:
+      - "main"
+
+jobs:
+  build:
+    name: Type Check Code Base
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: Checkout Code
+        uses: actions/checkout@v4
+
+      - name: Checkout dependency neodev
+        uses: actions/checkout@v4
+        with:
+          repository: "folke/neodev.nvim"
+          path: "deps/neodev.nvim"
+
+      - name: Type Check Code Base
+        uses: mrcjkb/[email protected]
+        with:
+          configpath: .github/workflows/.luarc.json
+          directories: |
+            lua