Skip to content

check lean4-cli build on current nightly #898

check lean4-cli build on current nightly

check lean4-cli build on current nightly #898

build lean4-cli

succeeded Nov 1, 2024 in 30s