Commit 1417961

committed

[2023.08] [coq-lsp 0.1.8] [v8.18] Draft Windows build

Changes: - Simplify some paths and logic - Don't exclude `sexplib0` - Pin to latest Coq's v8.18+lsp branch - Pin to latest coq-lsp's branch for 8.18 - Slightly reduced package set, updated for 8.18

1 parent ed96e7d commit 1417961Copy full SHA for 1417961

8 files changed

+177

-517

lines changed

.github/workflows
package_picks
- package-pick-8.18~2023.08-coq-lsp.sh
shell_scripts
- build.sh
- installer_create_tree.sh
windows
- create_installer_windows.sh

8 files changed

+177

-517

lines changed

`‎.github/workflows/macos.yml`

-180

This file was deleted.

`‎.github/workflows/ubuntu.yml`

-190

This file was deleted.

Comments

(0)