Update stable ci for win and linux for deprecated and new OS#149
Merged
tkralphs merged 2 commits intocoin-or:stable/1.2from Jul 17, 2025
Merged
Update stable ci for win and linux for deprecated and new OS#149tkralphs merged 2 commits intocoin-or:stable/1.2from
tkralphs merged 2 commits intocoin-or:stable/1.2from
