diff --git a/tools/workers/push.mjs b/tools/workers/push.mjs
index 41a4235ce..6774405f2 100644
--- a/tools/workers/push.mjs
+++ b/tools/workers/push.mjs
@@ -32,7 +32,8 @@ const iso = ms => new Date(ms).toISOString().replace(/\.\d{3}Z$/, 'Z');
 const log = (...a) => console.error(`${iso(Date.now())} push: ${a.join(' ')}`);
 const KEY = process.env.IGNEUM_BUILD_KEY || join(homedir(), '.ssh', 'igneum_ed25519');
 // every build box: ~/.config/igneum/build-server (build-1), build-server-2, build-server-3 ... one line build@<ip> each
-const HOSTS = [['build-server', 'igneum-build-1'], ['build-server-2', 'igneum-build-2'], ['build-server-3', 'igneum-build-3']]
+// boxes 4 to 9 joined on 8 October 2026 (the host files build-server-4 to -9); a box with no host file is skipped by the filter
+const HOSTS = [['build-server', 'igneum-build-1'], ['build-server-2', 'igneum-build-2'], ['build-server-3', 'igneum-build-3'], ['build-server-4', 'igneum-build-4'], ['build-server-5', 'igneum-build-5'], ['build-server-6', 'igneum-build-6'], ['build-server-7', 'igneum-build-7'], ['build-server-8', 'igneum-build-8'], ['build-server-9', 'igneum-build-9']]
   .map(([f, n]) => ({ file: f, name: n, host: (cfg(f) || '').split('\n')[0].trim() })).filter(h => h.host);
 const HOST = HOSTS.length ? HOSTS[0].host : '';
 const DLSITE = cfg('dlsite-dir'), FLEET = cfg('fleet-path');