Revert "Update config.yml"
Revert "Update config.yml"

This reverts commit 1ff626acc1f28cfaf68f3261031fa451e664c266.

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