Skip to content
Snippets Groups Projects

random tree automaton generator

Passed
Tomáš Pecka created pipeline for commit 213b9fed
, finished
For master
Scheduled branch
4 jobs 109 minutes 11 seconds, queued for 3 seconds