From 29dc554860fba1236ab4c22b183312719c60547e Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Mon, 3 Nov 2025 12:00:48 +0000
Subject: [PATCH] Switch macos-13 CI jobs to macos-15-intel

macOS 13 runner images will be retired by 2025-12-04:
https://github.blog/changelog/2025-09-19-github-actions-macos-13-runner-image-is-closing-down/.
---
 .github/workflows/pull-request-check-rust-api.yaml | 4 ++--
 .github/workflows/pull-request-checks.yaml         | 4 ++--
 .github/workflows/release-packages.yaml            | 2 +-
 regression/cbmc-library/floorl-01/main.c           | 2 +-
 regression/cbmc-library/roundl-01/main.c           | 2 +-
 regression/cbmc-library/truncl-01/main.c           | 2 +-
 6 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/.github/workflows/pull-request-check-rust-api.yaml b/.github/workflows/pull-request-check-rust-api.yaml
index 08145123df2..1d223257837 100644
--- a/.github/workflows/pull-request-check-rust-api.yaml
+++ b/.github/workflows/pull-request-check-rust-api.yaml
@@ -69,8 +69,8 @@ jobs:
           CBMC_INCLUDE_DIR=../../${{env.default_include_dir}} CBMC_LIB_DIR=../../${{env.default_build_dir}}/lib CBMC_VERSION=$VERSION cargo test -- --test-threads=1
 
 
-  check-macos-13-cmake-clang-rust:
-    runs-on: macos-13
+  check-macos-15-intel-cmake-clang-rust:
+    runs-on: macos-15-intel
     steps:
       - uses: actions/checkout@v5
         with:
diff --git a/.github/workflows/pull-request-checks.yaml b/.github/workflows/pull-request-checks.yaml
index a5ac050e189..55db08edb82 100644
--- a/.github/workflows/pull-request-checks.yaml
+++ b/.github/workflows/pull-request-checks.yaml
@@ -642,8 +642,8 @@ jobs:
         run: cd build; ctest . -V -L THOROUGH -j${{env.linux-vcpus}}
 
   # This job takes approximately 39 to 69 minutes
-  check-macos-13-make-clang:
-    runs-on: macos-13
+  check-macos-15-intel-make-clang:
+    runs-on: macos-15-intel
     steps:
       - uses: actions/checkout@v5
         with:
diff --git a/.github/workflows/release-packages.yaml b/.github/workflows/release-packages.yaml
index 85ea784b59a..9a5b62f3753 100644
--- a/.github/workflows/release-packages.yaml
+++ b/.github/workflows/release-packages.yaml
@@ -220,7 +220,7 @@ jobs:
           SLACK_MESSAGE: "${{ job.status == 'success' && 'Ubuntu 22.04 package built and uploaded successfully' || 'Ubuntu 22.04 package build failed' }}"
 
   homebrew-pr:
-    runs-on: macos-13
+    runs-on: macos-15-intel
     steps:
       - name: Get release tag name
         # The GITHUB_REF we get has refs/tags/ in front of the tag name so we
diff --git a/regression/cbmc-library/floorl-01/main.c b/regression/cbmc-library/floorl-01/main.c
index 9d75e4b0d52..739ca25ca5d 100644
--- a/regression/cbmc-library/floorl-01/main.c
+++ b/regression/cbmc-library/floorl-01/main.c
@@ -8,7 +8,7 @@ int main()
   assert(floorl(-1.1l) == -2.0l);
   assert(floorl(-1.9l) == -2.0l);
 
-#if !defined(__APPLE__) || __ENVIRONMENT_OS_VERSION_MIN_REQUIRED__ >= 150000
+#if !defined(__APPLE__) || __ENVIRONMENT_OS_VERSION_MIN_REQUIRED__ >= 160000
   assert(signbit(floorl(-0.0l)));
 #endif
 
diff --git a/regression/cbmc-library/roundl-01/main.c b/regression/cbmc-library/roundl-01/main.c
index 34f0acd5c3d..7860f7cac5b 100644
--- a/regression/cbmc-library/roundl-01/main.c
+++ b/regression/cbmc-library/roundl-01/main.c
@@ -10,7 +10,7 @@ int main()
   assert(roundl(-1.5l) == -2.0l);
   assert(roundl(-1.9l) == -2.0l);
 
-#if !defined(__APPLE__) || __ENVIRONMENT_OS_VERSION_MIN_REQUIRED__ >= 150000
+#if !defined(__APPLE__) || __ENVIRONMENT_OS_VERSION_MIN_REQUIRED__ >= 160000
   assert(signbit(roundl(-0.0l)));
 #endif
 
diff --git a/regression/cbmc-library/truncl-01/main.c b/regression/cbmc-library/truncl-01/main.c
index 6dd14564a88..50e43d1f6f3 100644
--- a/regression/cbmc-library/truncl-01/main.c
+++ b/regression/cbmc-library/truncl-01/main.c
@@ -8,7 +8,7 @@ int main()
   assert(truncl(-1.1l) == -1.0l);
   assert(truncl(-1.9l) == -1.0l);
 
-#if !defined(__APPLE__) || __ENVIRONMENT_OS_VERSION_MIN_REQUIRED__ >= 150000
+#if !defined(__APPLE__) || __ENVIRONMENT_OS_VERSION_MIN_REQUIRED__ >= 160000
   assert(signbit(truncl(-0.0l)));
 #endif