Skip to content

Automatically remove dead states from concatenated automata. #3752

Automatically remove dead states from concatenated automata.

Automatically remove dead states from concatenated automata. #3752

Triggered via pull request February 6, 2025 12:10
Status Success
Total duration 23m 13s
Artifacts

run-checks-all.yml

on: pull_request
Matrix: checks
Matrix: tests
Fit to window
Zoom out
Zoom in