Update linux-ci to move from macos-13 to macos-15-intel#155

tkralphs merged 2 commits into

coin-or:mastercoin-or/MibS:masterfrom

jhmgoossens:dev-ci-masterjhmgoossens/MibS:dev-ci-masterCopy head branch name to clipboard