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

Changes: - Simplify some paths and logic - Don't exclude `sexplib0` - Pin to latest Coq's v8.17+lsp branch - Pin to latest coq-lsp's branch for 8.17 - Slightly reduced package set - Added waterproof
coq · Oct 25, 2023 · f278bdc · f278bdc
1 parent ed96e7d
commit f278bdc
Show file tree

Hide file tree

Showing 7 changed files with 165 additions and 512 deletions.
diff --git a/.github/workflows/macos.yml b/.github/workflows/macos.yml
diff --git a/.github/workflows/ubuntu.yml b/.github/workflows/ubuntu.yml