Skip to content
Snippets Groups Projects

Merge Sweep and SweepInnerOuter

Passed
Markus Holzer created pipeline for commit f2d66d77
, finished
1 related merge request: !425 Merge sweep generation
36 jobs 220 minutes 10 seconds, queued for 3 seconds