Gál Lukács

same issue

Otherwise wouldn't it be more convenient to have a github workflow and create a new ghci container for each major version ? this would ensure a constant fresh version in...