re-disable CI on windows

This commit is contained in:
Simon Cruanes 2023-02-28 10:49:33 -05:00
parent ac24129ed6
commit 63392ea36b
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -14,7 +14,7 @@ jobs:
os:
- ubuntu-latest
- macos-latest
- windows-latest
#- windows-latest
ocaml-compiler:
- 4.03.x
- 4.12.x