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

jhmgoossens merged 3 commits intocoin-or:mastercoin-or/Cbc:masterfrom

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