From 09d3b1181e4bfc4672fa64177ae777282e6644cc Mon Sep 17 00:00:00 2001 From: Romain Tetley Date: Wed, 7 Feb 2024 11:31:40 +0100 Subject: [PATCH] Fiddling with platform branch --- language-server/build-windows-platform.bat | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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