Open paulbovbel opened 1 year ago
Not sure why the CI is broken - seems to be failing to install ceres. Might be worth poking at later, should I leave this open or merge @svwilliams ?
Not sure why the CI is broken - seems to be failing to install ceres. Might be worth poking at later, should I leave this open or merge @svwilliams ?