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

Switch GitHub workflow to macos-13 See merge request eng/ide/ada_language_server!1854
eliericha · Dec 13, 2024 · 19ed0d6 · 19ed0d6
2 parents ef8b37c + 89ac80d
commit 19ed0d6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build-binaries.yml b/.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