search

coq-community / vsc-conceal

Prettify Symbols Mode for Visual Studio Code [maintainer=@rtetley]
MIT License
54 stars 6 forks source link

Clean up the code and add CI and CD #21

Closed rtetley closed 1 year ago

rtetley commented 1 year ago

As a first step I just want to clean up the code and add some CI and CD. Closes #20