❌ Build Failed: fad

Error Summary

Toolchain incompatibility: ✗ Toolchain too new: project uses leanprover/lean4:v4.29.0-rc1 but maximum supported is v4.28.0

Project uses leanprover/lean4:v4.29.0-rc1.
Supported range: v4.24.0 to v4.28.0.

To analyze this project, it must be updated to use a Lean version in the supported range.

Toolchain Information

Project Toolchainleanprover/lean4:v4.29.0-rc1
doc-verification-bridge Toolchainleanprover/lean4:v4.28.0-rc1
Status✗ Incompatible

✗ Toolchain too new: project uses leanprover/lean4:v4.29.0-rc1 but maximum supported is v4.28.0

📋 View command log (YAML)

Full Build Log



← Back to Summary