Added mio-ops build server

This commit is contained in:
Craige McWhirter 2020-04-21 11:18:51 +10:00
parent 24dcf6a90c
commit a0224dae8c
Signed by: sercanto
GPG key ID: 7DBA9F5689EFB6AA

17
roles/nix-mio-ops.nix Normal file
View file

@ -0,0 +1,17 @@
# Use the mio-ops build servers
{
nix = {
distributedBuilds = true;
buildMachines = [
{
hostName = "cuallaidh.mcwhirter.io";
maxJobs = 64;
sshKey = "/root/.ssh/id_nixops_ed25519";
sshUser = "craige";
system = "x86-64";
supportedFeatures = [ "big-parallel" ];
}
];
};
}