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

class v5 census runner: the test binary is the extension-less igneum_pow-<hash> (the first pick read an object file)

Browse source 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
igneum-labs 2026-10-07 19:26:40 +00:00
parent 7acccc31e5
commit 7bb87b096f
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
tools/class-v5/census-remote.sh
View file

@ -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=\$(ls -t target/release/deps/igneum_pow-* | grep -v '\.d\$' | 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=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"
rsync -a -e "ssh -i $KEY" "$HOST:/srv/builds/_log/v5-class/$LOG" "$OUT/"
echo "census: log at $OUT/$LOG"