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

macOS-aarch64

succeeded Apr 10, 2026 in 7m 37s