From 99e1ba3a6e647ed038c5aedc56d49395fb76581a Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 19 Feb 2026 19:12:33 -0800 Subject: [PATCH] update macos runner id Signed-off-by: Nikolaj Bjorner --- .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 b998ba710..2cb6f4233 100644 --- a/.github/workflows/nightly-validation.yml +++ b/.github/workflows/nightly-validation.yml @@ -137,7 +137,7 @@ jobs: validate-nuget-macos-x64: name: "Validate NuGet 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: @@ -705,7 +705,7 @@ jobs: validate-macos-headerpad-x64: name: "Validate macOS x64 dylib headerpad" - 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: