❌ Build Failed: lean-loris

Error Summary

Toolchain incompatibility: ✗ Toolchain too old: project uses leanprover/lean4:v4.7.0 but minimum supported is v4.24.0

Project uses leanprover/lean4:v4.7.0.
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.7.0
doc-verification-bridge Toolchainleanprover/lean4:v4.28.0-rc1
Status✗ Incompatible

✗ Toolchain too old: project uses leanprover/lean4:v4.7.0 but minimum supported is v4.24.0

📋 View command log (YAML)

Full Build Log



← Back to Summary