Skip to content
Snippets Groups Projects
Commit e5d8981b authored by Joan Vallvé Navarro's avatar Joan Vallvé Navarro
Browse files

Merge branch '439-solvermanager-profiling-extra-results' into 'devel' 

Resolve "SolverManager profiling extra results"

Closes #439

See merge request !435
parents e62baaf7 e56d0595
No related branches found
No related tags found
2 merge requests!436Release to start wolf public,!435Resolve "SolverManager profiling extra results"
Pipeline #8514 failed
Hide whitespace changes
Inline Side-by-side
Showing
with 86 additions and 71 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment