Skip to content
Lean Action CI

Shorten 139 using grind #89

Sign in to view logs

Shorten 139 using grind

Shorten 139 using grind #89

Triggered via pull request June 27, 2025 06:30
@TwoFXTwoFX
opened #179
markus/139-grind
Status Failure
Total duration 39s
Artifacts –

lean_action_ci.yml

on: pull_request
build
34s
build
Fit to window
Zoom out
Zoom in

Annotations

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