We are now officially supporting GHC 8.{2,4,6,8}. Now there is also 8.10 that we should support. And I propose to drop 8.2 support and maybe 8.4 (since we claim to support only latest 3). 8.2 is fairly old. And let's stop supporting liquidhaskell: currently it doesn't check much things and maintaining it requires more effort than we can put into it.
Apart from that I suggest that we switch to GitHub actions as suggested here. The main advantage is that we won't have to depend on external services anymore and we will be able to use one CI for all platforms (currently we are using Travis and Appveyor).
We are now officially supporting GHC 8.{2,4,6,8}. Now there is also 8.10 that we should support. And I propose to drop 8.2 support and maybe 8.4 (since we claim to support only latest 3). 8.2 is fairly old. And let's stop supporting liquidhaskell: currently it doesn't check much things and maintaining it requires more effort than we can put into it.
Apart from that I suggest that we switch to GitHub actions as suggested here. The main advantage is that we won't have to depend on external services anymore and we will be able to use one CI for all platforms (currently we are using Travis and Appveyor).