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

nix-community: add ed25519 key

Browse source
This commit is contained in:
Serĉanto de Scio 2024-05-22 21:58:16 +10:00
parent 4ec35cd3bb
commit c22947904b
Signed by: sercanto
GPG key ID: A4122FF3971B6865
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
profiles/nix-community.nix
View file

@ -1,6 +1,10 @@
# Use the Nix community aarch64 server as a build server
# https://github.com/nix-community/aarch64-build-box
{
programs.ssh.knownHosts."aarch64.nixos.community" = {
publicKey = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIMUTz5i9u5H2FHNAmZJyoJfIGyUm/HfGhfwnc142L3ds";
};
nix = {
distributedBuilds = true;
buildMachines = [