Using Docker-based builds on Travis CI