agda-language-server icon indicating copy to clipboard operation
agda-language-server copied to clipboard

Published 20 hours ago • verified publisher icon agda

Automate Release on Hackage with GitHub Actions

Open banacorn opened this issue 2 years ago • 0 comments

People would actually use the releases on Hackage (see #7), we should automate this process when releasing new versions

banacorn avatar Oct 21 '21 14:10 banacorn