Fix CPLEX compilation on Windows for repos not named 'downward'.#188

Merged

jendrikseipp merged 3 commits intoaibasel:mainfrom jendrikseipp:cplex-ci

Oct 6, 2023

+17-17

Commits on Oct 4, 2023

Commits on Oct 5, 2023

Install CPLEX under D:\a directly.
jendrikseipp
committed