Lean Action CI

add comment #5

Sign in to view logs

Triggered via push May 9, 2026 04:28

occar421

main

Status Failure

Total duration 27s

Artifacts –

lean_action_ci.yml

on: push

Annotations

2 errors

Process completed with exit code 1.

lake test failed