Skip to content

GitLab

update gui

6 jobs for LulusSequentMatcher in 108 minutes and 14 seconds (queued for 3 seconds)
54d86b82
1 related merge request: !5 Lulus sequent matcher
Name Stage Failure
failed
setup Setup There has been a timeout failure or the job got stuck. Check your timeout limits or try again 
No job log

Imprint