Skip to content
Snippets Groups Projects

Review comments: Replace 'auto' by solver type

Passed
Maik Nijhuis created pipeline for commit 165a47dd
, finished
Related merge request !570 to merge ast-660-cleanup-solverfactory
merge request
14 jobs 51 minutes 19 seconds, queued for 363 seconds