Tests were not the reason why Travis CI failed...