From 8bfda929d1aa453b38a5c2de830c53b9f1f9db58 Mon Sep 17 00:00:00 2001
From: Darwin Chowdary <39110935+imabhichow@users.noreply.github.com>
Date: Wed, 23 Jul 2025 00:18:27 -0700
Subject: [PATCH 1/2] chore(CI): enable windows-latest for python tests

---
 .github/workflows/ci_test_python.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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:

From 48400970e6dfac635f2a70411512ba1c5ca1f299 Mon Sep 17 00:00:00 2001
From: Darwin Chowdary <39110935+imabhichow@users.noreply.github.com>
Date: Wed, 23 Jul 2025 00:20:58 -0700
Subject: [PATCH 2/2] Update ci_examples_python.yml

---
 .github/workflows/ci_examples_python.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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