Enable Windows Tests

Author: JasonGross

.github/workflows/ci.yml

@@ -160,7 +160,7 @@ jobs:
         python-version: [3.11]
         test-location: ['installed', 'local', 'standalone']
         coq-version: ['8.20.0']
-        os: ['ubuntu-latest', 'macos-latest'] #, 'windows-latest']
+        os: ['ubuntu-latest', 'macos-latest', 'windows-latest']
         ocaml-compiler: ['4.14.2']
 
     env:
@@ -196,8 +196,8 @@ jobs:
     - run: opam repo add coq-core-dev https://coq.inria.fr/opam/core-dev
     - run: opam repo add coq-released https://coq.inria.fr/opam/released
     - run: opam update
-    - run: opam pin add ocamlfind --dev-repo
-      if: runner.os == 'Windows'
+    #- run: opam pin add ocamlfind --dev-repo
+    #  if: runner.os == 'Windows'
     - run: opam pin --kind=version add coq ${{ matrix.coq-version }}
     - run: python -m pip install flake8
     - run: flake8 coq_tools --count --select=E9,F63,F7,F82 --show-source --statistics