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