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

Switch GitHub workflow to macos-13

See merge request eng/ide/ada_language_server!1854

Author: Elie Richa

.github/workflows/build-binaries.yml

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