diff --git a/.github/workflows/README.md b/.github/workflows/README.md
index c474eec8396..00ce5d28aaf 100644
--- a/.github/workflows/README.md
+++ b/.github/workflows/README.md
@@ -32,7 +32,7 @@ We are currently building and testing CBMC under the following configurations:
 * `cmake` * `gcc` * `linux` (ubuntu 22.04 32-bit)
 * `make` * `clang` * `macos` (13)
 * `cmake` * `clang` * `macos` (14)
-* `cmake` * `vs` * `windows` (vs2019)
+* `cmake` * `vs` * `windows` (vs2025)
 * `make` * `vs` * `windows` (vs2022)
 
 Aside from the main platform builds for testing, we are also performing
diff --git a/.github/workflows/pull-request-checks.yaml b/.github/workflows/pull-request-checks.yaml
index 11a38ea4a9c..ca3471c8295 100644
--- a/.github/workflows/pull-request-checks.yaml
+++ b/.github/workflows/pull-request-checks.yaml
@@ -684,8 +684,8 @@ jobs:
         run: cd build; ctest -V -L CORE . -j3
 
   # This job takes approximately 49 to 70 minutes
-  check-vs-2019-cmake-build-and-test:
-    runs-on: windows-2019
+  check-vs-2025-cmake-build-and-test:
+    runs-on: windows-2025
     env:
       GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
     steps:
@@ -825,7 +825,7 @@ jobs:
 
   # This job takes approximately 7 to 32 minutes
   windows-msi-package:
-    runs-on: windows-2019
+    runs-on: windows-2025
     env:
       GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
     steps:
diff --git a/.github/workflows/regular-release.yaml b/.github/workflows/regular-release.yaml
index a15e1fc59be..e99be973b0c 100644
--- a/.github/workflows/regular-release.yaml
+++ b/.github/workflows/regular-release.yaml
@@ -76,9 +76,9 @@ jobs:
             PATH="C:\Program Files\cbmc\bin";%PATH%
             ```
 
-            Note that we depend on the Visual C++ redistributables. You likely already have these, if not please download and run vcredist.x64.exe from Microsoft to install them prior to running cbmc, or make sure you have Visual Studio 2019 installed.
+            Note that we depend on the Visual C++ redistributables. You likely already have these, if not please download and run vcredist.x64.exe from Microsoft to install them prior to running cbmc, or make sure you have Visual Studio 2025 installed.
 
-            You can download either [Visual Studio 2019 Community Edition](https://visualstudio.microsoft.com/vs/community/) or the [Visual C++ Redistributables](https://support.microsoft.com/en-gb/help/2977003/the-latest-supported-visual-c-downloads) from Microsoft for free.
+            You can download either [Visual Studio 2025 Community Edition](https://visualstudio.microsoft.com/vs/community/) or the [Visual C++ Redistributables](https://support.microsoft.com/en-gb/help/2977003/the-latest-supported-visual-c-downloads) from Microsoft for free.
 
             ## Docker
 
diff --git a/.github/workflows/release-packages.yaml b/.github/workflows/release-packages.yaml
index 176048763f8..dcedc955169 100644
--- a/.github/workflows/release-packages.yaml
+++ b/.github/workflows/release-packages.yaml
@@ -181,7 +181,7 @@ jobs:
           go run scripts/slack_notification_action.go
 
   windows-msi-package:
-    runs-on: windows-2019
+    runs-on: windows-2025
     env:
       GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
     steps: