non-critical-infra: use fqdns as target for ofborg hosts
This allows better matching of hosts to SSH keys than raw IP addresses.
Martin Weinelt committed
May 19, 2026 at 12:53 UTC
250b9dc3c11f9b17d444eadae0aa7f48c5bb29e0
1 file changed
+10
-10
non-critical-infra/flake-module.nix
+10
-10
@@ -10,16 +10,16 @@
10
staging-hydra = { };
11
12
# ofborg
13
- "core01.ofborg.org".targetHost = "138.199.148.47";
14
- "eval01.ofborg.org".targetHost = "95.217.15.9";
15
- "eval02.ofborg.org".targetHost = "95.216.209.162";
16
- "eval03.ofborg.org".targetHost = "37.27.189.4";
17
- "eval04.ofborg.org".targetHost = "95.217.18.12";
18
- "build01.ofborg.org".targetHost = "185.119.168.10";
19
- "build02.ofborg.org".targetHost = "185.119.168.11";
20
- "build03.ofborg.org".targetHost = "185.119.168.12";
21
- "build04.ofborg.org".targetHost = "185.119.168.13";
22
- "build05.ofborg.org".targetHost = "142.132.171.106";
13
+ "core01.ofborg.org".targetHost = "core01.ofborg.org";
14
+ "eval01.ofborg.org".targetHost = "eval01.ofborg.org";
15
+ "eval02.ofborg.org".targetHost = "eval02.ofborg.org";
16
+ "eval03.ofborg.org".targetHost = "eval03.ofborg.org";
17
+ "eval04.ofborg.org".targetHost = "eval04.ofborg.org";
18
+ "build01.ofborg.org".targetHost = "build01.ofborg.org";
19
+ "build02.ofborg.org".targetHost = "build02.ofborg.org";
20
+ "build03.ofborg.org".targetHost = "build03.ofborg.org";
21
+ "build04.ofborg.org".targetHost = "build04.ofborg.org";
22
+ "build05.ofborg.org".targetHost = "build05.ofborg.org";
23
};
24
flake =
25
let