search

agda / agda-language-server

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

CI caching: include resolver in the cache key #19

Closed andreasabel closed 1 year ago