Skip to content
Lean Action CI

Update proof that LexNF is regular #110

Sign in to view logs

Update proof that LexNF is regular

Update proof that LexNF is regular #110

Triggered via push February 5, 2026 09:33
@yisioxyisiox
pushed a766b3a
ys-working
Status Failure
Total duration 2m 30s
Artifacts –

lean_action_ci.yml

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

Annotations

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