cabal check
add travis support