sercanto/mio-ops
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Activity

Added nix-community aarch64 build server

Browse source
This commit is contained in:
Craige McWhirter 2020-03-06 23:52:02 +10:00
parent 569f59bb71
commit 022e191dd0
Signed by: sercanto
GPG key ID: 7DBA9F5689EFB6AA
1 changed files with 18 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

18
roles/nix-community.nix Normal file
View file

@ -0,0 +1,18 @@
# Use the Nix community aarch64 server as a build server
# https://github.com/nix-community/aarch64-build-box
{
nix = {
distributedBuilds = true;
buildMachines = [
{
hostName = "aarch64.nixos.community";
maxJobs = 64;
sshKey = "/root/.ssh/id_nixops_ed25519";
sshUser = "craige";
system = "aarch64-linux";
supportedFeatures = [ "big-parallel" ];
}
];
};
}