build lean4-cli

chore: bump toolchain to v4.29.0-rc3 (#73) #321

Sign in to view logs

Triggered via push March 1, 2026 20:54

kim-em

v4.29.0-rc3

Status Success

Total duration 38s

Artifacts –

build.yml

on: push

build lean4-cli