search

coq-community / vsc-conceal

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

Add secrets to repo #24

Open rtetley opened 1 year ago

rtetley commented 1 year ago

Add the publisher keys as secrets to the repo to allow for CD pipeline to work