Skip to content
Snippets Groups Projects

intersect deterministic tree automata

Passed
Jan Trávníček created pipeline for commit f77d8d09
, finished
Related merge request !138 to merge merge-jt
merge request
12 jobs 48 minutes 45 seconds, queued for 883 seconds