coq-lsp icon indicating copy to clipboard operation
coq-lsp copied to clipboard

Published 20 hours ago • verified publisher icon ejgallego

[build] [windows] Binary builds

Open ejgallego opened this issue 6 years ago • 2 comments

We would like to have binary builds [at least for Windows] so coq-lsp can be installed from the market easily. A possible roadmap would be to use Github Actions on Windows.

ejgallego avatar Feb 22 '19 02:02 ejgallego

Windows support is now considered "stable" and checked in CI (for the definition of stable that a beta project allows)

This should be doable if we put some cycles on the packaging.

ejgallego avatar Feb 20 '23 19:02 ejgallego