From 6a81b950ed9f88ad06fcdb36ede6741bb7212440 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 18 Jan 2026 16:30:41 -0800 Subject: [PATCH] Upgrade macOS version for build workflows Updated macOS version for x64 and ARM64 builds in the workflow. --- .github/workflows/release.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 07b5f0e4e..4c8a796f3 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -36,7 +36,7 @@ jobs: mac-build-x64: name: "Mac Build x64" - runs-on: macos-13 + runs-on: macos-15 timeout-minutes: 90 steps: - name: Checkout code @@ -65,7 +65,7 @@ jobs: mac-build-arm64: name: "Mac ARM64 Build" - runs-on: macos-13 + runs-on: macos-15 timeout-minutes: 90 steps: - name: Checkout code