From bf2389475e5c77fc88d3d5ee22f57768d81a6819 Mon Sep 17 00:00:00 2001
From: Peder Bergebakken Sundt <pbsds@hotmail.com>
Date: Sat, 8 Jul 2023 21:52:29 +0200
Subject: [PATCH] remote

---
 profiles/remote-builders/default.nix | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/profiles/remote-builders/default.nix b/profiles/remote-builders/default.nix
index b05c251..ed5e0f7 100644
--- a/profiles/remote-builders/default.nix
+++ b/profiles/remote-builders/default.nix
@@ -9,7 +9,7 @@ let
   # find 'publicKey' with `ssh-keyscan`
 
   remotes = [
-    /** /
+    /**/
     {
       systems     = [ "x86_64-linux" "wasm32-wasi" "wasm64-wasi" "x86_64-windows" "aarch64-linux" "riscv64-linux" ];
       hostName    = "bolle.pbsds.net";
@@ -31,12 +31,12 @@ let
       sshUser     = "pbsds";
       maxJobs     = 4; # 8 cores
       #maxJobs    = 1; # at least for big-parallel
-      speedFactor = 1;
+      speedFactor = 3;
       supportedFeatures  = [ "kvm" "big-parallel" ]; # TODO: "nixos-test"
       #mandatoryFeatures  = [ ];
       publicKey = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIJ3QhTGS03Sqm6OeCEz5AIGqJnBttKaBqMgNXp3Md7t4";
     }
-    /**/
+    /** /
     {
       systems            = ["x86_64-linux"];
       hostName           = "rocm.pbsds.net";
@@ -52,7 +52,7 @@ let
       proxy.host         = "isvegg.pvv.ntnu.no";
       proxy.publicKey    = "ecdsa-sha2-nistp256 AAAAE2VjZHNhLXNoYTItbmlzdHAyNTYAAAAIbmlzdHAyNTYAAABBBGurF7rdnrDP/VgIK2Tx38of+bX/QGCGL+alrWnZ1Ca5llGneMulUt1RB9xZzNLHiaWIE+HOP0i4spEaeZhilfU=";
     }
-    /** /
+    /**/
     {
       systems     = [ "x86_64-linux" "wasm32-wasi" "wasm64-wasi" "x86_64-windows" "aarch64-linux" "riscv64-linux" ];
       hostName    = "sopp.pbsds.net";
@@ -60,7 +60,7 @@ let
       sshUser     = "pbsds";
       maxJobs     = 4; # 8 cores
       #maxJobs     = 1; # at least for big-parallel
-      speedFactor = 2;
+      speedFactor = 1;
       supportedFeatures  = [ "kvm" "big-parallel" "nixos-test" ];
       #mandatoryFeatures  = [ ];
       publicKey  = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIDYB9H1pHB1vTBiGhO/GCQjn70BtVdQuJyXx38zN2CDj";