Skip to content
Lean Action CI

eq_eval #143

Sign in to view logs

eq_eval

eq_eval #143

Triggered via push January 28, 2026 17:50
@creicrei
pushed 282b509
eq
Status Failure
Total duration 2m 55s
Artifacts –

lean_action_ci.yml

on: push
build
2m 51s
build
Fit to window
Zoom out
Zoom in

Annotations

2 errors
build
Process completed with exit code 1.
build
lake build failed