Change from docker to a vm for all jobs (vm has more memory)
Change from docker to a vm for all jobs (vm has more memory)

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