Skip to content
Lean Proofs

fix(tg-0): Tangle.lean compiles cleanly + wire CI build oracle (#33) #2

Sign in to view logs

fix(tg-0): Tangle.lean compiles cleanly + wire CI build oracle (#33)

fix(tg-0): Tangle.lean compiles cleanly + wire CI build oracle (#33) #2

Triggered via push June 2, 2026 09:22
@hyperpolymathhyperpolymath
pushed 01c19a4
main
Status Success
Total duration 5m 34s
Artifacts –

lean-proofs.yml

on: push
Build Lean proofs (oracle)
15s
Build Lean proofs (oracle)
Fit to window
Zoom out
Zoom in