Closed ocramz closed 11 months ago
Or get rid of older GHCs in CI pipeline altogether. Seems we are moving towards GHC 8.10+ anyway
Fixed by #300
Or get rid of older GHCs in CI pipeline altogether. Seems we are moving towards GHC 8.10+ anyway