Skip to content
Snippets Groups Projects

add Forall2

Failed
Ralf Jung created pipeline for commit 63fe167c
, finished
Related merge request !439 to merge ralf/listZ
4 minutes 7 seconds, queued for 5 seconds