issues
search
agda
/
agda-language-server
Language Server for Agda
MIT License
99
stars
17
forks
source link
CI overhaul and fix build with cabal
#16
Closed
andreasabel
closed
9 months ago
andreasabel
commented
9 months ago
Bump version to 0.2.1.0.2.6.2.2; fix stack.yaml and lsp bound
Bump actions versions in CI, cosmetic changes
More fundamental changes to CI
Some road-working around:
https://github.com/commercialhaskell/stack/issues/6340
Some road-working around: