Skip to content

chore: bump toolchain to v4.14.0 #96

chore: bump toolchain to v4.14.0

chore: bump toolchain to v4.14.0 #96

Triggered via push January 14, 2025 01:36
Status Success
Total duration 27s
Artifacts

build.yml

on: push
build lean4-cli
17s
build lean4-cli
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build lean4-cli
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636