Since Travis CI has become barely usable for open source work, especially for extension authors, we should be moving to another option. Travis-ci.org will shut down at the end of the year and our repository will be moved to travis-ci.com as well. This will most likely result in large build delays.