Skip to content

Testing windows CI #817

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
rtetley wants to merge 4 commits into
base: main
Choose a base branch
from
+3 −3
Open

Testing windows CI #817

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
b9bfd92
Testing windows CI
rtetley Jul 3, 2024
a6430fe
Fix windows
rtetley Jul 25, 2024
b80e67a
Update .github/workflows/ci.yml
gares Jul 25, 2024
3ba6672
fix: change platform branch
rtetley Sep 10, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 1 addition & 2 deletions .github/workflows/ci.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -105,7 +105,6 @@ jobs:
run: cat /tmp/vscoq_init_log.*

install-windows:
if: false
runs-on: windows-latest
steps:
- name: Set git to use LF
Expand All @@ -119,7 +118,7 @@ jobs:
- name: Build language server
run: .\language-server\build-windows-platform.bat
env:
COQ_VERSION: V8.18+rc1
COQ_VERSION: V8.19.0

- run: C:\ci\cygwin64\bin\bash.exe --login -c 'echo vscoqtop=$(cygpath -m $(which vscoqtop))' >> $Env:GITHUB_ENV

Expand Down
3 changes: 2 additions & 1 deletion language-server/build-windows-platform.bat
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand Down Expand Up @@ -33,6 +33,7 @@ call coq_platform_make_windows.bat ^
-set-switch=y ^
-override-dev-pkg="coq-core=https://github.com/coq/coq/archive/%COQ_VERSION%.tar.gz" ^
-override-dev-pkg="coq-stdlib=https://github.com/coq/coq/archive/%COQ_VERSION%.tar.gz" ^
-override-dev-pkg="coqide-server=https://github.com/coq/coq/archive/%COQ_VERSION%.tar.gz" ^
-override-dev-pkg="coq=https://github.com/coq/coq/archive/%COQ_VERSION%.tar.gz" ^
|| GOTO ErrorExit

Expand Down