ci: move type checking code to use the autogenerated .luarc.json cr…

…eated by devenv

this prevents errors related to `busted` and other testing utilities

.github/workflows/typecheck.yml

@@ -6,37 +6,24 @@ on:
       - '*'
 
 jobs:
-  build:
+  type-check:
     name: Type Check Code Base
     runs-on: ubuntu-latest
 
     steps:
       - name: Checkout Code
         uses: actions/checkout@v3
-
-      - name: Checkout dependency neodev # get neodev and neovim/runtime for builtin types
-        uses: actions/checkout@v3
-        with:
-          repository: "folke/neodev.nvim"
-          path: "deps/neodev.nvim"
-      - name: Checkout neovim for type annotations
-        uses: actions/checkout@v3
+      - uses: DeterminateSystems/nix-installer-action@v10
+      - uses: cachix/cachix-action@v14
         with:
-          repository: "neovim/neovim"
-          path: "deps/neovim"
-
-      - uses: leafo/gh-actions-lua@v9 # get luarocks dependencies for their types (eg `PathlibPath`)
-        with:
-          luaVersion: "5.1"
-      - uses: leafo/gh-actions-luarocks@v4
-      - name: install dependencies
-        run: |
-          luarocks init
-          luarocks install --only-deps ./*.rockspec
-
+          name: devenv
+      - name: Install devenv.sh
+        run: nix profile install nixpkgs#devenv
+      - name: Enter development shell
+        run: devenv shell
       - name: Type Check Code Base
         uses: mrcjkb/[email protected]
         with:
-          configpath: .github/workflows/.luarc.json
+          configpath: ".luarc.json"
           directories: |
             lua

devenv.nix

@@ -7,7 +7,7 @@
   ...
 }: let
   neorg-dependencies = builtins.fromJSON (builtins.readFile ./res/deps.json);
-  test-dependencies = [ "busted" ];
+  test-dependencies = [];
   luarc = pkgs.mk-luarc {
     plugins = builtins.attrNames neorg-dependencies ++ test-dependencies;
   };