Skip to content
Lean Action CI

Update attempt of Kleene's theorem via Kleene's algorithm #124

Sign in to view logs

Update attempt of Kleene's theorem via Kleene's algorithm

Update attempt of Kleene's theorem via Kleene's algorithm #124

Triggered via push February 12, 2026 08:17
@yisioxyisiox
pushed 294432b
ys-working
Status Failure
Total duration 6s
Artifacts –

lean_action_ci.yml

on: push
build
4s
build
Fit to window
Zoom out
Zoom in

Annotations

1 error
build
The job was not started because recent account payments have failed or your spending limit needs to be increased. Please check the 'Billing & plans' section in your settings