Update to GHC 9.6.4 - Githubissues

agda / cornelis

agda-mode for neovim

BSD 3-Clause "New" or "Revised" License

135 stars 23 forks source link

Update to GHC 9.6.4 #145

Closed malob closed 8 months ago

malob commented 8 months ago

Update to GHC 9.6.4
Update to latest version of GitHub actions used

isovector commented 8 months ago

Thanks!