flint
flint copied to clipboard
Include msolve into CI
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.
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.
Would the approach proposed in PR #2339 be fine?