Skip to content
Lean Action CI

Improve Kleene's Theorem by cleaning up and removing Classical #129

Sign in to view logs

Improve Kleene's Theorem by cleaning up and removing Classical

Improve Kleene's Theorem by cleaning up and removing Classical #129

Triggered via push February 19, 2026 10:13
@yisioxyisiox
pushed d41a6e5
ys-working
Status Failure
Total duration 5s
Artifacts –

lean_action_ci.yml

on: push
build
3s
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