Skip to content

chore: bump toolchain to v4.18.0-rc1 #128

chore: bump toolchain to v4.18.0-rc1

chore: bump toolchain to v4.18.0-rc1 #128

build lean4-cli

succeeded Mar 3, 2025 in 19s