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

Merge identity-pc2 f7956ed0 into master (gate: green on f7956ed0, recorded by tools/ci/pre-push.sh; landed on the box mirror under the exception declared by main: main's ruling, 7 Oct 2026 19:5x UK: the GitHub account is suspended, lanes land on the box mirror's master, the box gate stamp is the verdict; GitHub gets the fast-forward when it answers)

Browse source
This commit is contained in:
igneum-labs 2026-10-07 23:04:47 +00:00
commit 8cda554af9
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
tools/ci/identity-check.sh
View file

@ -64,10 +64,11 @@ TEXT_FILES="$(find "$TMP" -type f \( -name '*.md' -o -name '*.rs' -o -name '*.py
-o -name '*.csv' -o -name '*.toml' -o -name '*.txt' -o -name '*.log' -o -name '*.html' \) -print)"
while IFS= read -r f; do
[ -n "$f" ] || continue
# the second rig is card-free on purpose: its cards are in dispute between lanes (7 October 2026, night); the first rig's list is verified
perl -pi -e '
s/the PC node at 192\.168\.[0-9.]+/the RTX 5090 node on the LAN/g;
s/\bPC 1\x27s\b/the three-card Windows rig\x27s/g; s/\bPC 1\b/the three-card Windows rig (RTX 5090, RTX 4070, RX 9070 XT)/g;
s/\bPC 2\x27s\b/the RTX 5090 Windows rig\x27s/g; s/\bPC 2\b/the RTX 5090 Windows rig/g;
s/\bPC 2\x27s\b/the second Windows rig\x27s/g; s/\bPC 2\b/the second Windows rig/g;
s/\bthe PC node\b/the RTX 5090 node/g;
s/\bWindows PC\b/an RTX 5090 on Windows/g;
s/\bthe PC\x27s\b/the RTX 5090 machine\x27s/g;