Automate Release on Hackage with GitHub Actions
banacorn opened this issue · comments
People would actually use the releases on Hackage (see #7), we should automate this process when releasing new versions
agda / agda-language-server
Language Server for Agda