search

agda / agda-language-server

Language Server for Agda
MIT License
99 stars 17 forks source link

Automate Release on Hackage with GitHub Actions #8

Open banacorn opened 2 years ago

banacorn commented 2 years ago

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