Skip to content
Lean Action CI

Add comments to function definitions in Computability.lean #120

Sign in to view logs

Add comments to function definitions in Computability.lean

Add comments to function definitions in Computability.lean #120

Triggered via push February 9, 2026 07:02
@yisioxyisiox
pushed b32e9e1
ys-working
Status Failure
Total duration 4s
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