Skip to content

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

chore: bump toolchain to v4.18.0-rc1

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

build lean4-cli

succeeded Mar 3, 2025 in 14s