Skip to content
Snippets Groups Projects

Add getters for some results in solver_manager

Passed
Joan Solà Ortega created pipeline for commit 577976ed
, finished
1 related merge request: !236 Solver getters
1 job 17 minutes 6 seconds, queued for 3 seconds