Skip to content
Lean Action CI

Progress proof of every regular language has a regular expression mat… #127

Sign in to view logs

Progress proof of every regular language has a regular expression mat…

Progress proof of every regular language has a regular expression mat… #127

Triggered via push February 16, 2026 09:50
@yisioxyisiox
pushed 96ad93a
ys-working
Status Failure
Total duration 5s
Artifacts –

lean_action_ci.yml

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