flint icon indicating copy to clipboard operation
flint copied to clipboard

Include msolve into CI

Open albinahlback opened this issue 9 months ago • 1 comments

Would be good to include checking msolve into our CI. Currently, it does not work because of the matrix changes in v3.3.0-dev.

albinahlback avatar Mar 17 '25 12:03 albinahlback

I made sure to check the current version of msolve compiles with v3.2.1, and will fix the current situation with matrix pointers within the next few days. But yes it would be more convenient to have this in Flint's CI in order to detect issues more easily.

vneiger avatar Mar 17 '25 15:03 vneiger

Would the approach proposed in PR #2339 be fine?

vneiger avatar Jun 14 '25 20:06 vneiger

Would the approach proposed in PR #2339 be fine?

Yes!!

albinahlback avatar Jun 14 '25 21:06 albinahlback