Closed lukel97 closed 4 years ago
I couldn't use GHC 8.10.2. I hope this PR fix the problem.
Blocking https://github.com/agda/agda/issues/4837.
@asr for what it's worth, you can use this branch in your workflow if you specify bubba/setup-haskell@2215b2c
bubba/setup-haskell@2215b2c
Hope this gets merged soon!
cc @andymckay @patrickt
Ah, yes, please merge.
Thanks @patrickt!
I couldn't use GHC 8.10.2. I hope this PR fix the problem.
Blocking https://github.com/agda/agda/issues/4837.