Fix compilation warnings

[blegat]

  1 dependency had output during precompilation:
┌ ProxSDP
│  WARNING: using JuMP.Nonpositives in module ProxSDP conflicts with an existing identifier.
│  WARNING: using JuMP.Zeros in module ProxSDP conflicts with an existing identifier.
│   29.489161 seconds (123.31 M allocations: 8.369 GiB, 3.33% gc time, 15.12% compilation time)
│  rank = model.moi_backend.optimizer.model.optimizer.sol.final_rank = 3
│   25.322369 seconds (103.47 M allocations: 7.041 GiB, 1.27% gc time)
│  rank = model.moi_backend.optimizer.model.optimizer.sol.final_rank = 4
│    0.437748 seconds (126.89 k allocations: 80.031 MiB, 2.28% gc time)
│  rank = model.moi_backend.optimizer.model.optimizer.sol.final_rank = 2
└ 

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 82.61%. Comparing base (3afc98c) to head (6d3033a).

Additional details and impacted files

@@            Coverage Diff             @@
##           master     #103      +/-   ##
==========================================
+ Coverage   82.53%   82.61%   +0.07%     
==========================================
  Files          12       12              
  Lines        1277     1277              
==========================================
+ Hits         1054     1055       +1     
+ Misses        223      222       -1     

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