Lean Action CI

Other dir #26

Sign in to view logs

Triggered via push November 16, 2025 21:22

jcreedcmu

main

Status Failure

Total duration 9s

Artifacts –

lean_action_ci.yml

on: push

Annotations

3 errors

Process completed with exit code 1.

Exiting with status 1

No lake-manifest.json found. Run lake update to generate manifest

⚡