igneum/infra/build-server/devnet3
2026-10-07 21:34:58 +00:00
..
devnet3.conf Merge build-server a3f15d28 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 21:34:58 +00: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 17:26:14 +00:00