From 8a28bc28f1f47a9767dc65514f44ac1b96397bca Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 19 Feb 2026 09:54:29 -0800 Subject: [PATCH] Update nightly-validation.yml --- .github/workflows/nightly-validation.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/nightly-validation.yml b/.github/workflows/nightly-validation.yml index 13f519fb2..b998ba710 100644 --- a/.github/workflows/nightly-validation.yml +++ b/.github/workflows/nightly-validation.yml @@ -390,7 +390,7 @@ jobs: validate-exe-macos-x64: name: "Validate executable on macOS x64" - runs-on: macos-13 + runs-on: macos-15-intel if: ${{ github.event.workflow_run.conclusion == 'success' || github.event_name == 'workflow_dispatch' }} timeout-minutes: 30 steps: @@ -640,7 +640,7 @@ jobs: validate-python-wheel-macos-x64: name: "Validate Python wheel on macOS x64" - runs-on: macos-13 + runs-on: macos-15-intel if: ${{ github.event.workflow_run.conclusion == 'success' || github.event_name == 'workflow_dispatch' }} timeout-minutes: 30 steps: