Switch to macOS 12 since macos-11 is no longer available

Author: eregon

.github/workflows/build.yml

@@ -78,7 +78,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        os: [ ubuntu-20.04, ubuntu-22.04, ubuntu-24.04, macos-11, macos-arm-oss ]
+        os: [ ubuntu-20.04, ubuntu-22.04, ubuntu-24.04, macos-12, macos-arm-oss ]
         name: [ '-head', '+graalvm-head' ]
     runs-on: ${{ matrix.os }}
     steps:
@@ -92,7 +92,7 @@ jobs:
       id: platform
       run: |
         platform=${{ matrix.os }}
-        platform=${platform/macos-11/macos-latest}
+        platform=${platform/macos-12/macos-latest}
         platform=${platform/macos-arm-oss/macos-13-arm64}
         echo "platform=$platform" >> $GITHUB_OUTPUT