diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 20e36dd21..bd4bea5e5 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -90,7 +90,6 @@ jobs:
       run: cat /tmp/vscoq_init_log.*
 
   install-windows:
-    if: false
     runs-on: windows-latest
     steps:
     - name: Set git to use LF
diff --git a/language-server/build-windows-platform.bat b/language-server/build-windows-platform.bat
index d3b7eb77b..01d531fa7 100644
--- a/language-server/build-windows-platform.bat
+++ b/language-server/build-windows-platform.bat
@@ -2,7 +2,7 @@ REM Download platform script
 
 SET PATH=%PATH%;C:\Program Files\7-Zip;C:\Program Files\Git\mingw64\bin
 
-SET PLATFORM=https://github.com/coq/platform/archive/main.zip
+SET PLATFORM=https://github.com/coq/platform/archive/coq-ci.zip
 
 SET ARCH=64