igneum-network/igneum
1
0
Fork 0
Code Issues Pull requests Releases Activity

gate-remote.sh: ci mode on box 2 (the box carries the overlap browser; local mode on a box reads two environment reds)

Browse source 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
igneum-labs 2026-10-08 19:57:49 +00:00
parent a589d08f62
commit fd2cdd3a34
1 changed files with 4 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
tools/class-v5/gate-remote.sh
View file

@ -6,7 +6,7 @@
set -euo pipefail
HERE="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
. "$HERE/../../infra/build-server/lib.sh"
BOX=1
BOX=2 # box 2 carries the overlap browser (/srv/builds/_bin/overlap); box 1 does not (the 20:56 UK red)
while [ $# -gt 0 ]; do case "$1" in --box) BOX="$2"; shift 2 ;; *) echo "unknown argument $1" >&2; exit 2 ;; esac; done
export IGNEUM_AGENT="${IGNEUM_AGENT:-v5-gate}"
bs_host "$BOX"
@ -16,7 +16,9 @@ STAMP=$(date -u +%Y%m%dT%H%M%SZ)
bs_toolchain_check
bs_sync_sources
bs_log "sources at $WT (commit $BS_SHA on $BS_BRANCH); the full gate on box $BOX"
CMD="cd '$WT' && IGNEUM_GATE_NO_TITLE=1 bash tools/ci/pre-push.sh"
# ci mode: the box runs the gate as the box runners do (box-locks reads ok with no host file; a browser is found at
# /srv/builds/_bin/overlap); local mode on a box reads two environment reds that are not the tree's (20:56 UK)
CMD="cd '$WT' && IGNEUM_GATE_NO_TITLE=1 bash tools/ci/pre-push.sh ci"
set +e
BR_KIND=gate BR_COMMAND="the full gate (tools/ci/pre-push.sh) over the class-v5 tree" BR_TARGET="x86_64-linux" BR_ARTEFACTS="" \
bs_remote_run "$WT" "$BS_WT class-v5 full gate" "$CMD" 2>&1 | tee "/tmp/v5-gate-$STAMP.log" | grep -E '^( (ok|FAIL|RED)|pre-push gate|FAIL|build-remote: RESULT)'