Separate CI jobs for publishing on Open-vsx and microsoft market place

coq / vscoq

Visual Studio Code extension for Coq

MIT License

335 stars 68 forks source link

Separate CI jobs for publishing on Open-vsx and microsoft market place #796

Closed rtetley closed 3 months ago

rtetley commented 3 months ago

Last release was delayed because of OpenVsx which was broken upstream. This led to the CI not going through even on the microsoft market place. It would be advisable to separate the two so that we can uncorrelate the two releases and avoid this kind of blockage in the future.