Merge branch 'topic/github-runners' into 'master'

Use newer macOS runners for GitHub

See merge request eng/ide/ada_language_server!2164

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