Skip to content

chore: bump toolchain to v4.14.0 #97

chore: bump toolchain to v4.14.0

chore: bump toolchain to v4.14.0 #97

Annotations

1 warning

build lean4-cli

succeeded Jan 14, 2025 in 13s