❌ Build Failed: EllipticCurve

Error Summary

lake update failed

Toolchain Information

Project Toolchainleanprover/lean4:v4.29.0-rc4
doc-verification-bridge Toolchainunknown
Status✓ Compatible

✓ Project uses leanprover/lean4:v4.29.0-rc4 (supported range: v4.24.0 - v4.29.0)

📋 View command log (YAML)

Full Build Log

info: leanprover-community/mathlib: checking out revision '205a0ba54c047cafda226494138ba715ab6bf28c'
error: external command 'git' exited with code 1

← Back to Summary