Try enabling windows ci workflow

[codecov[bot]]

Codecov Report

Merging #116 (0370c4a) into main (3e2c6a9) will not change coverage. The diff coverage is n/a.

@@           Coverage Diff           @@
##             main     #116   +/-   ##
=======================================
  Coverage   74.96%   74.96%           
=======================================
  Files          13       13           
  Lines        1725     1725           
=======================================
  Hits         1293     1293           
  Misses        432      432           

[KarelPeeters]

FYI getting this to work is probably as simple as adding $SCIPOPTDIR/lib to PATH.

Something like

$Env:PATH += ";$Env:SCIPOPTDIR/lib"

right before cargo build should do the trick.

[mmghannam]

Thanks for the suggestion @KarelPeeters, it's nice to have the support of a windows user 😄

[KarelPeeters]

I resent the accusation that I'm a Windows user, I'd like to think of myself as more of a multi platform user! 🙂

My bad, it should have been /bin (which is where the .dll files are) instead of /lib (which is where the .lib files are, for static linking). Static linking could be something useful to support in the future, but for now to get CI working dynamic linking is enough.

[mmghannam]

It works now, thanks @KarelPeeters for saving the windows CI 😄

[KarelPeeters]

Nice!