Skip to content
Lean Proofs

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

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) #15

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build Lean proofs (oracle)
20s
20s