Remove devShell, website #28

Merged
chef merged 2 commits from chef/remove-website into main 2024-06-06 21:32:27 +00:00 AGit
Showing only changes of commit 2e67cac060 - Show all commits

View file

@ -115,10 +115,5 @@
}; };
}; };
}; };
devShell = nixpkgs.legacyPackages.${system}.mkShell {
inherit (self.checks.${system}.pre-commit-check) shellHook;
buildInputs = self.checks.${system}.pre-commit-check.enabledPackages;
};
}); });
} }