Skip to content

Commit 4434a8c

Browse files
ejgallegoejgallego
committed
[2023.11] [coq-lsp 0.2.0] [v8.20] Draft Windows build
Changes: - Simplify some paths and logic - Updated for 8.20
1 parent 0ee6654 commit 4434a8c

File tree

7 files changed

+208
-463
lines changed

7 files changed

+208
-463
lines changed

‎.github/workflows/macos.yml

Lines changed: 0 additions & 216 deletions
This file was deleted.

‎.github/workflows/ubuntu.yml

Lines changed: 0 additions & 99 deletions
This file was deleted.

‎.github/workflows/ubuntu_dev.yml

Lines changed: 0 additions & 79 deletions
This file was deleted.

0 commit comments

Comments
 (0)