tree-wide: move dev outputs to dev/

1 files changed, 0 insertions, 42 deletions

diff --git a/checks.nix b/checks.nix
deleted file mode 100644
index 56c5038..0000000
--- a/checks.nix
+++ /dev/null
@@ -1,42 +0,0 @@
-{
-  perSystem =
-    { pkgs, ... }:
-    {
-      checks = {
-        check-formatting =
-          pkgs.runCommand "check-formatting" { nativeBuildInputs = [ pkgs.nixfmt-rfc-style ]; }
-            ''
-              cd ${./.}
-
-              echo "running nixfmt..."
-              nixfmt --check .
-
-              touch $out
-            '';
-
-        check-lint =
-          pkgs.runCommand "check-lint"
-            {
-              nativeBuildInputs = [
-                pkgs.actionlint
-                pkgs.deadnix
-                pkgs.statix
-              ];
-            }
-            ''
-              cd ${./.}
-
-              echo "running actionlint..."
-              actionlint ./.github/workflows/*
-
-              echo "running deadnix..."
-              deadnix --fail
-
-              echo "running statix..."
-              statix check .
-
-              touch $out
-            '';
-      };
-    };
-}