Skip to content
Lean Proofs

feat(echo): Option B value shape + product type + echoAdd (structured loss, generalized) #16

Sign in to view logs

feat(echo): Option B value shape + product type + echoAdd (structured loss, generalized)

feat(echo): Option B value shape + product type + echoAdd (structured loss, generalized) #16

Triggered via pull request June 12, 2026 17:07
@hyperpolymathhyperpolymath
synchronize #43
claude/hopeful-fermi-iXnba
Status Success
Total duration 23s
Artifacts –

lean-proofs.yml

on: pull_request
Build Lean proofs (oracle)
19s
Build Lean proofs (oracle)
Fit to window
Zoom out
Zoom in