Use .zip upload of knitro14 in CI

[odow]

Trying JuliaSmoothOptimizers/NLPModelsKnitro.jl#123 (comment)

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 84.60%. Comparing base (ae2eab0) to head (2f4a159).

❗ Current head 2f4a159 differs from pull request most recent head d957530. Consider uploading reports for the commit d957530 to get more accurate results

Additional details and impacted files

@@            Coverage Diff             @@
##           master     #284      +/-   ##
==========================================
- Coverage   84.61%   84.60%   -0.02%     
==========================================
  Files           3        3              
  Lines        1001     1000       -1     
==========================================
- Hits          847      846       -1     
  Misses        154      154              

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[odow]

cc @amontoison I guess we need to rebuild libknitro.jl for v14?

I assume the sigabrts mean that we're calling some part of the C API wrong:

[odow]

These segfaults are in the middle of KN_solve, and they are for a linear problem. I think this might be a bug in KNITRO? We're not doing anything to trigger this.

How did you build the zip? Are we missing anything else?

[amontoison]

These segfaults are in the middle of KN_solve, and they are for a linear problem. I think this might be a bug in KNITRO? We're not doing anything to trigger this.

How did you build the zip? Are we missing anything else?

I just did an archive with the shared libraries of the four platforms.
We should check with ldd that libiompi is the only dependency of libknitro.
I highly suspect a bug in KNITRO, we should comment the linear problem to see if it's the only issue.