From 44cd38c9ffe02ac4eb065aba43df8894a81a934f Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 23 Jul 2025 10:32:56 -0700 Subject: [PATCH] Update msvc-static-build.yml --- .github/workflows/msvc-static-build.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/msvc-static-build.yml b/.github/workflows/msvc-static-build.yml index b329d5abc..50a45b634 100644 --- a/.github/workflows/msvc-static-build.yml +++ b/.github/workflows/msvc-static-build.yml @@ -9,7 +9,7 @@ permissions: jobs: build: - runs-on: windows-2019 + runs-on: windows-latest env: BUILD_TYPE: Release steps: