diff --git a/hosts/known-hosts.toml b/hosts/known-hosts.toml index f5803ac..51b2d88 100644 --- a/hosts/known-hosts.toml +++ b/hosts/known-hosts.toml @@ -41,6 +41,7 @@ ssh.connectTimeout = 3 # headless: one job per 4 threads and 8GB RAM # graphical: one job + ["bolle.pbsds.net"] buildMachine.systems = ["x86_64-linux", "i686-linux", "riscv64-linux"] buildMachine.maxJobs = 3 # 12 threads 32GB @@ -108,6 +109,7 @@ ssh.listenPort = 2222 ssh.listenPublicKey = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAILD7+tE6rm742fz+nqa3+zlglMuzCzOQlc0OSJssvgVL" ssh.userPublicKey = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIJVohqGMKp/UEZtb71RSBBXOEGX4o3lN5GYBlP7HEKbs root@brumlebasse" + ["isvegg.pvv.ntnu.no"] # buildMachine.maxJobs = 1 # 4 threads 16GB buildMachine.speedFactor = 1 # i5-3570