fix: change platform branch

coq · Jan 14, 2025 · 3ba6672 · 3ba6672
1 parent b80e67a
commit 3ba6672
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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/coq-ci.zip
+SET PLATFORM=https://github.com/coq/platform/archive/main.zip
 
 SET ARCH=64