build_macos_docker.yml: Move from macos-11 to macos-12

See https://github.blog/changelog/2024-05-20-actions-upcoming-changes-to-github-hosted-macos-runners/ for details.

Essentially, macos-11 is no longer available as a build host.

diff --git a/.github/workflows/build_macos_docker.yml b/.github/workflows/build_macos_docker.yml
index a90cd4823423fdc89650c24b764257c81e390ac3..45cecb532b09d17d7f01fa6ca0c50288fe75da0e 100644 (file)
--- a/.github/workflows/build_macos_docker.yml
+++ b/.github/workflows/build_macos_docker.yml
@@ -17,7 +17,7 @@ jobs:
   build_docker_macos_1:
     name: MacOS docker build (1)
 
-    runs-on: macos-11
+    runs-on: macos-12
 
     env:
       TARGET: "x86"
@@ -64,7 +64,7 @@ jobs:
   build_docker_macos_2:
     name: MacOS docker build (2)
 
-    runs-on: macos-11
+    runs-on: macos-12
 
     env:
       TARGET: "x86"