Remove install-windows from create-release until it is fixed upstream - Githubissues

coq / vscoq

Visual Studio Code extension for Coq

MIT License

335 stars 68 forks source link

Remove install-windows from create-release until it is fixed upstream #818

Closed rtetley closed 3 months ago