Skip to content
Update Lean toolchain manifest

ci: Version control manifests in separate repo #4

Sign in to view logs

ci: Version control manifests in separate repo

ci: Version control manifests in separate repo #4

Re-run triggered June 27, 2025 22:50
@samuelburnhamsamuelburnham
1b0e259
ci-manifest
Status Success
Total duration 17s
Artifacts –

update-manifest.yml

on: push
Update Lean manifest
12s
Update Lean manifest
Fit to window
Zoom out
Zoom in