Fix CI config issues (actually build with different GHC versions)#1057
Open
jhrcek wants to merge 6 commits into
Open
Fix CI config issues (actually build with different GHC versions)#1057jhrcek wants to merge 6 commits into
jhrcek wants to merge 6 commits into