Skip to content
Snippets Groups Projects

Do not allow user to set optimiser

Canceled
Michiel Cottaar created pipeline for commit b85a9aae
, finished
1 related merge request: !8 Make optimisation more robust
2 jobs