Deploy-rs: switch to nixpkgs release

This commit is contained in:
Filippo Berto 2023-08-22 08:58:41 +02:00
parent c7eca5dad7
commit 179a7c07ff
No known key found for this signature in database
GPG key ID: FE98AE5EC52B1056

View file

@ -58,7 +58,10 @@
}; };
devShells.default = pkgs.mkShell { devShells.default = pkgs.mkShell {
buildInputs = [ deploy-rs.packages.${system}.deploy-rs ]; buildInputs = [
# deploy-rs.packages.${system}.deploy-rs
pkgs.deploy-rs
];
shellHook = '' shellHook = ''
${self.checks.${system}.pre-commit-check.shellHook} ${self.checks.${system}.pre-commit-check.shellHook}
''; '';