43: CI r=Mic92 a=Mic92



Co-authored-by: Jörg Thalheim <joerg@thalheim.io>
This commit is contained in:
bors[bot] 2023-01-18 11:19:39 +00:00 committed by GitHub
commit 32510a7cdd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -5,6 +5,9 @@
, nix
, coreutils
, curl
, gnugrep
, findutils
, gnused
}:
let
runtimeInputs = [
@ -14,6 +17,9 @@ let
nix
coreutils
curl # when uploading tarballs
gnugrep
findutils
gnused # needed by ssh-copy-id
];
in
(writeShellApplication {