Upgrade github runner "macos-13" to "macos-15-intel"#7301

MarcelloPerathoner wants to merge 1 commit intoProject-OSRM:masterProject-OSRM/osrm-backend:masterfrom

MarcelloPerathoner:Fix-issue-7299MarcelloPerathoner/osrm-backend:Fix-issue-7299Copy head branch name to clipboard