igneum/infra/build-server
igneum-labs 08e469ff65 Build server: a path dependency inside a vendor repository is synced as a whole repository (the shipper's proving build)
proving/igneum-prove depends on vendor/igneum-node-exec/igneum/evm-types, a member of the fork's workspace that inherits
from the fork's root manifest; syncing that one directory left cargo without a workspace root on the box. lib.sh now groups
path dependencies by git top level: a repository under vendor/ is pushed to its mirror (a fork worktree to
/srv/igneum-node.git, a repository of its own to /srv/<name>.git, created on first use), checked out whole at
/srv/builds/<worktree>/vendor/<name> and overlaid whole; run-from-mac.sh wires every vendor repository the Cargo.toml files
reach. libprotobuf-dev added (sp1-prover-types imports google/protobuf/empty.proto). build-remote.sh no longer fails on a
default artefact the caller's own -p selection did not build. Proof on the box: igneum-prove-host 71,943,192 B, sha256
e9213e3a6c979512d7859f6d8e848105bab53f4355e99fb0d30fb4a72c2d5714, 1 min 05 s warm. Plan: gotcha rows for the case, the
protoc miss and one lost ssh session (collector cleared by test).

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-06 18:36:39 +00:00
..
workers Worker dashboard: collector on igneum-build-1, Mac pusher, workers.html next to the fleet page (the project lead, 6 October 2026) 2026-10-06 17:59:07 +00:00
lib.sh Build server: a path dependency inside a vendor repository is synced as a whole repository (the shipper's proving build) 2026-10-06 18:36:39 +00:00
provision.sh Build server: a path dependency inside a vendor repository is synced as a whole repository (the shipper's proving build) 2026-10-06 18:36:39 +00:00
remote-run.sh Build server: the remote checkout discards the previous overlay first (the stale-overlay class, PC 1 worker, 6 October 2026) 2026-10-06 18:16:27 +00:00
run-from-mac.sh Build server: a path dependency inside a vendor repository is synced as a whole repository (the shipper's proving build) 2026-10-06 18:36:39 +00:00