From fb0f8190e318e5f45f1b3b957b78469cf0276a93 Mon Sep 17 00:00:00 2001
From: Copilot <198982749+Copilot@users.noreply.github.com>
Date: Thu, 15 Jan 2026 23:09:01 -0800
Subject: [PATCH] [WIP] Update nightly.yml to fix build error with macOS runner
 (#8209)

* Initial plan

* Fix macos-13 runner retirement: update to macos-14

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>

---------

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 .github/workflows/nightly.yml     | 2 +-
 .github/workflows/nuget-build.yml | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml
index 6497356fb..1d13da413 100644
--- a/.github/workflows/nightly.yml
+++ b/.github/workflows/nightly.yml
@@ -26,7 +26,7 @@ jobs:
   
   mac-build-x64:
     name: "Mac Build x64"
-    runs-on: macos-13
+    runs-on: macos-14
     timeout-minutes: 90
     steps:
       - name: Checkout code
diff --git a/.github/workflows/nuget-build.yml b/.github/workflows/nuget-build.yml
index 1ea5b419a..0dc7808d0 100644
--- a/.github/workflows/nuget-build.yml
+++ b/.github/workflows/nuget-build.yml
@@ -110,7 +110,7 @@ jobs:
           retention-days: 1
 
   build-macos-x64:
-    runs-on: macos-13
+    runs-on: macos-14
     steps:
       - name: Checkout code
         uses: actions/checkout@v6.0.1
@@ -131,7 +131,7 @@ jobs:
           retention-days: 1
 
   build-macos-arm64:
-    runs-on: macos-13
+    runs-on: macos-14
     steps:
       - name: Checkout code
         uses: actions/checkout@v6.0.1