Skip to content
Snippets Groups Projects

linebreaks

Passed
Ralf Jung created pipeline for commit 807bed4b
, finished
Related merge request !427 to merge ralf/solve_ndisj
5 minutes 29 seconds, queued for 3 seconds