Use Oleg's Docker image for GHC 8.10.1
Use Oleg's Docker image for GHC 8.10.1

ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell