Tweaking Travis settings