Merge pull request #718 from coq-community/windows-ci

Reinstate windows ci
coq · Feb 7, 2024 · 014c666 · 014c666
2 parents 11a8f4c + 09d3b11
commit 014c666
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git 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
@@ -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