Switch macos-13 CI jobs to macos-15-intel#8725

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:macos-15tautschnig/cbmc:macos-15Copy head branch name to clipboard