[2023.11] [coq-lsp 0.1.8] [v8.19] Draft Windows build

Changes: - Simplify some paths and logic - Updated for 8.19
coq · Feb 7, 2024 · 34b8f3a · 34b8f3a
1 parent f4335fc
commit 34b8f3a
Show file tree

Hide file tree

Showing 7 changed files with 207 additions and 529 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