Skip to content

Update Lean toolchain to v4.28.0. #324

Update Lean toolchain to v4.28.0.

Update Lean toolchain to v4.28.0. #324

Annotations

2 warnings

Linux-aarch64

succeeded Apr 10, 2026 in 6m 11s