class v5 census runner: pick the test binary by --list (the CLI binary shares the igneum_pow-<hash> name; the first run held 64 pool cores for 9 minutes on the CLI's usage text)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
parent
7c390dcab1
commit
188607af0a
1 changed files with 1 additions and 1 deletions
|
|
@ -14,6 +14,6 @@ SEEDS="${1:-4600}"; FROM="${2:-0}"; THREADS="${3:-88}"
|
|||
OUT="$ROOT/docs/design/class-v5-harness"
|
||||
mkdir -p "$OUT"
|
||||
LOG="v5-census-$SEEDS-$FROM.log"
|
||||
ssh -i "$KEY" "$HOST" "set -e; cd $REMOTE_ROOT/igneum-pow; bin=target/release/deps/\$(ls -t target/release/deps/ | grep -E '^igneum_pow-[0-9a-f]+\$' | head -1); echo \"census: binary \$bin (\$(stat -c %y \$bin | cut -c1-19)), commit \$(git -C $REMOTE_ROOT rev-parse --short HEAD)\"; mkdir -p /srv/builds/_log/v5-class; /srv/builds/_bin/lease pool $THREADS --label 'class v5 c3 census: $SEEDS seeds from $FROM' --owner class-v5 --min 16 -- env IGNEUM_V5_CENSUS_SEEDS=$SEEDS IGNEUM_V5_CENSUS_FROM=$FROM IGNEUM_V5_CENSUS_THREADS={cores} \$bin --ignored v5_hot_census --nocapture --test-threads 1 2>&1 | tee /srv/builds/_log/v5-class/$LOG"
|
||||
ssh -i "$KEY" "$HOST" "set -e; cd $REMOTE_ROOT/igneum-pow; bin=; for c in \$(ls -t target/release/deps/ | grep -E '^igneum_pow-[0-9a-f]+\$'); do if target/release/deps/\$c --list 2>/dev/null | grep -q v5_hot_census; then bin=target/release/deps/\$c; break; fi; done; [ -n \"\$bin\" ] || { echo 'census: no test binary lists v5_hot_census (the CLI binary shares the igneum_pow-<hash> name)'; exit 3; }; echo \"census: binary \$bin (\$(stat -c %y \$bin | cut -c1-19)), commit \$(git -C $REMOTE_ROOT rev-parse --short HEAD)\"; mkdir -p /srv/builds/_log/v5-class; /srv/builds/_bin/lease pool $THREADS --label 'class v5 c3 census: $SEEDS seeds from $FROM' --owner class-v5 --min 16 -- env IGNEUM_V5_CENSUS_SEEDS=$SEEDS IGNEUM_V5_CENSUS_FROM=$FROM IGNEUM_V5_CENSUS_THREADS={cores} \$bin --ignored v5_hot_census --nocapture --test-threads 1 2>&1 | tee /srv/builds/_log/v5-class/$LOG"
|
||||
rsync -a -e "ssh -i $KEY" "$HOST:/srv/builds/_log/v5-class/$LOG" "$OUT/"
|
||||
echo "census: log at $OUT/$LOG"
|
||||
|
|
|
|||
Loading…
Reference in a new issue