igneum-josh f8d2783672 Merge build-server 12c34192 into master on the box mirror: lease pool classes and pre-emption, the runner prelude, the manifest digest guard, the inline-rm gate, the site deploy checks, cloud-sweep, forgejo (tools/ci conflicts resolved as the union of both sides) ... # Conflicts: # tools/ci/README.md # tools/ci/pre-push.sh		2026-10-07 22:34:58 +01:00
..
devnet3.conf	Merge build-server 12c34192 into master on the box mirror: lease pool classes and pre-emption, the runner prelude, the manifest digest guard, the inline-rm gate, the site deploy checks, cloud-sweep, forgejo (tools/ci conflicts resolved as the union of both sides)	2026-10-07 22:34:58 +01:00
devnet3.sh	Devnet 3: devnet3.sh passes the argument line base64-encoded over ssh (ssh flattens its argument list: the first --go started the seed on the OLD devnet, digest c562d70e, port 26611, 7 Oct 2026 18:22 BST) and refuses a line without --devnet-suffix=3	2026-10-07 18:26:14 +01:00