Windows: try python 3.13

.github/workflows/windows.yml

@@ -10,14 +10,14 @@ jobs:
 
     steps:
       - name: Setup Python
-        uses: actions/setup-python@v3
+        uses: actions/setup-python@v4
         with:
-          python-version: '3.12'
+          python-version: '3.13'
           architecture: 'x64'   # Trying 64 bit
 
       - name: Install packages
         run: |
-          python -m pip install "cython<3.0" sphinx sphinx_rtd_theme wheel pyx "PyInstaller==5.12"
+          python -m pip install "cython<3.0" sphinx sphinx_rtd_theme wheel pyx "PyInstaller==6.11.1"
           python -m pip install FXrays knot_floer_homology
           python -m pip install --extra-index-url https://test.pypi.org/simple cypari
 
@@ -49,12 +49,12 @@ jobs:
           cd snappy/windows_exe
           python make.py
 
-      - uses: actions/upload-artifact@v3
+      - uses: actions/upload-artifact@v4
         with:
           name: InstallSnapPy-Python3.exe
           path: snappy/windows_exe/InstallSnapPy-Python3.exe
 
-      - uses: actions/upload-artifact@v3
+      - uses: actions/upload-artifact@v4
         with:
           name: InstallSnapPy-Dbg.exe
           path: snappy/windows_exe/InstallSnapPy-Dbg.exe