Use newer macOS runners for GitHub

Now that macOS13 are getting retired.

For eng/ide/ada_language_server#1746

Author: AnthonyLeonardoGracio

.github/workflows/build-binaries.yml

@@ -20,7 +20,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        os: [macos-13, macos-14, ubuntu-22.04, ubuntu-22.04-arm, windows-latest]
+        os: [macos-14, macos-15-intel, ubuntu-22.04, ubuntu-22.04-arm, windows-latest]
     runs-on: ${{ matrix.os }}
     steps:
       - name: Setup Python