Skip to content

Update linux-ci to trim the number of macos builds#263

Merged
jhmgoossens merged 1 commit into
coin-or:masterfrom
jhmgoossens:dev-ci-202604-master
Apr 4, 2026
Merged

Update linux-ci to trim the number of macos builds#263
jhmgoossens merged 1 commit into
coin-or:masterfrom
jhmgoossens:dev-ci-202604-master

Commits

Commits on Apr 4, 2026