Skip to content
Lean (build)

Update lean toolchain #147

Sign in to view logs

Update lean toolchain

Update lean toolchain #147

Triggered via pull request August 5, 2024 20:47
@AnatolayAnatolay
opened #44
fix-build
Status Success
Total duration 3m 54s
Artifacts –

lean.yml

on: pull_request
Build
3m 46s
Build
Fit to window
Zoom out
Zoom in