search

dafny-lang / ide-vscode

VSCode IDE Integration for Dafny
https://marketplace.visualstudio.com/items?itemName=dafny-lang.ide-vscode
MIT License
25 stars 20 forks source link

Add script for publishing to OpenVsx #496

Closed keyboardDrummer closed 2 months ago

keyboardDrummer commented 2 months ago

Publish the Dafny VScode extension to OpenVSX (https://open-vsx.org/) as well.