chore(CI): enable windows-latest for python tests

imabhichow · web-flow · commit 8bfda929d1aa · 2025-07-23T00:18:27.000-07:00
diff --git 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:

Original file line number	Diff line number	Diff line change
`@@ -31,7 +31,7 @@ jobs:`
`31`	`31`	`ubuntu-22.04,`
`32`	`32`	`# Dafny-transpiled Python tests use a PYTHONPATH hack that doesn't work on Windows.`
`33`	`33`	`# Windows is tested with non-Dafny-transpiled Python tests.`
`34`		`- # windows-latest`
	`34`	`+ windows-latest,`
`35`	`35`	`]`
`36`	`36`	`runs-on: ${{ matrix.os }}`
`37`	`37`	`permissions:`