ci: Try fix appveyor

Author: tomsmeding

.appveyor.yml

@@ -9,31 +9,27 @@ environment:
   global:
     STACK_ROOT: "c:\\sr"
   matrix:
-    - GHC: "8.10"
-    - GHC: "8.8"
-    - GHC: "8.6"
+    - GHC: "9.10"
+    - GHC: "9.6"
+    - GHC: "9.0"
     - GHC: "8.4"
-    - GHC: "8.2"
-    - GHC: "8.0"
-    # - GHC: "7.10"
-    # - GHC: "7.8"  # failed to install ghc: https://ci.appveyor.com/project/tmcdonell/cuda/build/1.0.4/job/ufhtj0klyq73psas#L149
 
 before_build:
   # http://help.appveyor.com/discussions/problems/6312-curl-command-not-found
   - set PATH=C:\Program Files\Git\mingw64\bin;%PATH%
   - set PATH=C:\Users\appveyor\AppData\Roaming\local\bin;%PATH%
 
-  # install CUDA-9.0
-  - appveyor DownloadFile "https://developer.nvidia.com/compute/cuda/9.0/Prod/network_installers/cuda_9.0.176_windows_network-exe" -FileName install_cuda.exe
-  - install_cuda.exe -s compiler_9.0 cudart_9.0 cublas_9.0 cublas_dev_9.0 cufft_9.0 cufft_dev_9.0 cusolver_9.0 cusolver_dev_9.0 cusparse_9.0 cusparse_dev_9.0
-  - set PATH=%ProgramFiles%\NVIDIA GPU Computing Toolkit\CUDA\v9.0\nvvm\bin;%PATH%
-  - set PATH=%ProgramFiles%\NVIDIA GPU Computing Toolkit\CUDA\v9.0\bin;%PATH%
+  # install CUDA-13.0
+  - appveyor DownloadFile "https://developer.download.nvidia.com/compute/cuda/13.0.2/network_installers/cuda_13.0.2_windows_network.exe" -FileName install_cuda.exe
+  - install_cuda.exe -s compiler_13.0 cudart_13.0 cublas_13.0 cublas_dev_13.0 cufft_13.0 cufft_dev_13.0 cusolver_13.0 cusolver_dev_13.0 cusparse_13.0 cusparse_dev_13.0
+  - set PATH=%ProgramFiles%\NVIDIA GPU Computing Toolkit\CUDA\v13.0\nvvm\bin;%PATH%
+  - set PATH=%ProgramFiles%\NVIDIA GPU Computing Toolkit\CUDA\v13.0\bin;%PATH%
   - nvcc --version
 
   # CUDA refuses to install the driver if no compatible GPU can be found, so
   # copy these .dll files manually
-  - appveyor DownloadFile "https://drive.google.com/uc?export=download&id=14x0RX8QlHQ6vKhimbR4FDRgfP7EoHfgc" -FileName nvdriver-9.0.176.7z
-  - 7z x nvdriver-9.0.176.7z -oC:\Windows\System32
+  # - appveyor DownloadFile "https://drive.google.com/uc?export=download&id=14x0RX8QlHQ6vKhimbR4FDRgfP7EoHfgc" -FileName nvdriver-9.0.176.7z
+  # - 7z x nvdriver-9.0.176.7z -oC:\Windows\System32
 
   # install stack
   - appveyor DownloadFile "https://www.stackage.org/stack/windows-x86_64" -FileName stack.zip