logs: the developer protocol on 892e3889 -- PASS, all eight stages
Build / Image RASPI (push) Successful in 8m31s
Acceptance / Acceptance (pull_request) Successful in 30m54s
Build / Image PC (push) Successful in 7m39s
Build / Image MILKV (push) Successful in 8m15s
Build / v4 tests (32- and 64-bit cells) (push) Successful in 19m49s
Build / Image RASPI (push) Successful in 8m31s
Acceptance / Acceptance (pull_request) Successful in 30m54s
Build / Image PC (push) Successful in 7m39s
Build / Image MILKV (push) Successful in 8m15s
Build / v4 tests (32- and 64-bit cells) (push) Successful in 19m49s
A2 (#189): every word but the ten called. POST 539/539 on the four boots; word_count 320 and dict_hash 0x47570d4ced6ce255 on all three architectures; test-32 39 programs 0 failures; proofs; images; documents. Boot times (stage, with its build) against be456d44's run: amd64 123 s -> 118 s, aarch64 208 -> 197, riscv64 96 -> 93 -- no slower under QEMU. logs/20261113-053019/PROTOCOL.md. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_017RzZgrf7V7Zk2iczBXDRbm
This commit is contained in:
Reference in New Issue
Block a user