Skip to content
Lean Action CI

Refine proof of correctness of toRegex further #131

Sign in to view logs

Refine proof of correctness of toRegex further

Refine proof of correctness of toRegex further #131

Triggered via push February 21, 2026 13:05
@yisioxyisiox
pushed 806a54c
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