Skip to content
Lean Action CI

Right arg #27

Sign in to view logs

Right arg

Right arg #27

Triggered via push November 16, 2025 21:23
@jcreedcmujcreedcmu
pushed 6482911
main
Status Failure
Total duration 11s
Artifacts –

lean_action_ci.yml

on: push
build
5s
build
Fit to window
Zoom out
Zoom in

Annotations

3 errors
build
Process completed with exit code 1.
build
Exiting with status 1
build
No lake-manifest.json found. Run lake update to generate manifest
⚡