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, debug ]
         include:
           - { os: ubuntu-24.04, name: asan }
@@ -98,7 +98,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