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

Changes: - Simplify some paths and logic - Updated for 8.19
coq · May 31, 2024 · 25966a1 · 25966a1
1 parent 2e92838
commit 25966a1
Show file tree

Hide file tree

Showing 7 changed files with 209 additions and 546 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