Add decidability tags to DFA and NFA constructions · focs-lab/trace-theory-lean@dfc6cea

Triggered via push February 12, 2026 03:04

yisiox

pushed dfc6cea

ys-working

Status Failure

Total duration 5s

Artifacts –

lean_action_ci.yml

on: push

build

4s

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

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Add decidability tags to DFA and NFA constructions #123

Summary

Add decidability tags to DFA and NFA constructions #123

Uh oh!

lean_action_ci.yml

Annotations