build lean4-cli

chore: bump toolchain to v4.17.0 #123

Sign in to view logs

Triggered via push March 3, 2025 10:06

jcommelin

bump_to_v4.17.0

Status Success

Total duration 26s

Artifacts –

build.yml

on: push

build lean4-cli