Merge remote-tracking branch 'parent/main' into main

eMoflon · Dec 15, 2022 · 9306f73 · 9306f73
2 parents 78aa5bf + e6330e7
commit 9306f73
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -160,7 +160,7 @@ jobs:
   # Build Eclipse eMoflon macOS user
   build-macos-user:
     needs: [create-splash-image, collect-github-api-artifacts]
-    runs-on: [macos-latest]
+    runs-on: [macos-12]
     steps:
       - name: Start message
         run: echo "Started CI build (Eclipse eMoflon macOS user)."