diff --git a/.github/workflows/ci_examples_python.yml b/.github/workflows/ci_examples_python.yml
index aeab583eb..135dc556f 100644
--- a/.github/workflows/ci_examples_python.yml
+++ b/.github/workflows/ci_examples_python.yml
@@ -29,7 +29,7 @@ jobs:
       max-parallel: 1
       matrix:
         python-version: [3.11, 3.12, 3.13]
-        os: [macos-13]
+        os: [macos-13, windows-latest]
     runs-on: ${{ matrix.os }}
     permissions:
       id-token: write
diff --git a/.github/workflows/ci_test_python.yml b/.github/workflows/ci_test_python.yml
index 3d43479e6..8d33325aa 100644
--- a/.github/workflows/ci_test_python.yml
+++ b/.github/workflows/ci_test_python.yml
@@ -31,7 +31,7 @@ jobs:
             ubuntu-22.04,
             # Dafny-transpiled Python tests use a PYTHONPATH hack that doesn't work on Windows.
             # Windows is tested with non-Dafny-transpiled Python tests.
-            # windows-latest
+            windows-latest,
           ]
     runs-on: ${{ matrix.os }}
     permissions: