Travis CI with redis