[2023.08] [coq-lsp 0.1.9] [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 · Jun 3, 2024 · 1fe838e · 1fe838e
1 parent 2e92838
commit 1fe838e
Show file tree

Hide file tree

Showing 6 changed files with 163 additions and 541 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