move builder to ada

This commit is contained in:
Felix Suchert 2023-01-27 16:44:10 +01:00
parent 71c93bbe4a
commit 0dc19221e6
Signed by: feliix42
GPG key ID: 24363525EA0E8A99

View file

@ -88,18 +88,32 @@ in
builders-use-substitutes = true builders-use-substitutes = true
''; '';
buildMachines = [{ buildMachines = [{
hostName = "elm"; hostName = "ada";
sshUser = "builder"; sshUser = "builder";
system = "x86_64-linux"; system = "x86_64-linux";
# if the builder supports building for multiple architectures, # if the builder supports building for multiple architectures,
# replace the previous line by, e.g., # replace the previous line by, e.g.,
# systems = ["x86_64-linux" "aarch64-linux"]; # systems = ["x86_64-linux" "aarch64-linux"];
maxJobs = 1; maxJobs = 2;
speedFactor = 2; speedFactor = 2;
supportedFeatures = [ "big-parallel" "kvm" ]; supportedFeatures = [ "big-parallel" "kvm" ];
mandatoryFeatures = [ ]; mandatoryFeatures = [ ];
publicHostKey = "c3NoLWVkMjU1MTkgQUFBQUMzTnphQzFsWkRJMU5URTVBQUFBSUNXTk9oL3ozQjZmSXRGd2lTenlqeDBUTnIveUl6bHNsazdEeEtNcE5sdmwgcm9vdEBlbG0K"; publicHostKey = "c3NoLWVkMjU1MTkgQUFBQUMzTnphQzFsWkRJMU5URTVBQUFBSUNXTk9oL3ozQjZmSXRGd2lTenlqeDBUTnIveUl6bHNsazdEeEtNcE5sdmwgcm9vdEBlbG0K";
sshKey = "/home/felix/.ssh/id_ed25519"; sshKey = "/home/felix/.ssh/id_ed25519";
# }
# {
# hostName = "elm";
# sshUser = "builder";
# system = "x86_64-linux";
# # if the builder supports building for multiple architectures,
# # replace the previous line by, e.g.,
# # systems = ["x86_64-linux" "aarch64-linux"];
# maxJobs = 1;
# speedFactor = 1;
# supportedFeatures = [ "big-parallel" "kvm" ];
# mandatoryFeatures = [ ];
# publicHostKey = "c3NoLWVkMjU1MTkgQUFBQUMzTnphQzFsWkRJMU5URTVBQUFBSUNXTk9oL3ozQjZmSXRGd2lTenlqeDBUTnIveUl6bHNsazdEeEtNcE5sdmwgcm9vdEBlbG0K";
# sshKey = "/home/felix/.ssh/id_ed25519";
}] ; }] ;
distributedBuilds = true; distributedBuilds = true;