Skip to content

Pin casadi version to 3.6

Sjoerd Geevers requested to merge pin_casadi_verson_to_3_6 into master

Pin the casadi version to 3.6.*, since version 3.7 might break parts of rtc-tools.

Merge request reports