Skip to content

Merge branch 'AutomatonGenerator' into for-web-server #508

Merge branch 'AutomatonGenerator' into for-web-server

Merge branch 'AutomatonGenerator' into for-web-server #508

Triggered via push June 22, 2024 20:07
Status Success
Total duration 11s
Artifacts
check_commit_message
2s
check_commit_message
Fit to window
Zoom out
Zoom in