Currently an old setup for Travis CI is used and hence automatic checks are broken.
Currently an old setup for Travis CI is used and hence automatic checks are broken.