Skip to content

Update stable ci for win and linux for deprecated and new OS#251

Merged
jhmgoossens merged 2 commits intocoin-or:stable/2.11from
jhmgoossens:dev-ci-updates-stable/2.11
Jul 17, 2025
Merged

Update stable ci for win and linux for deprecated and new OS#251
jhmgoossens merged 2 commits intocoin-or:stable/2.11from
jhmgoossens:dev-ci-updates-stable/2.11

Commits