Tweets by @JaroslavTulach'. '
Travis is a continuous integration tool like Jenkins - de-facto standard such tool on GitHub.