Skip to content

CI: run on GHC 8.8 instead of 8.10 #65

CI: run on GHC 8.8 instead of 8.10

CI: run on GHC 8.8 instead of 8.10 #65