wikipedia:Travis is a continuous integration tool like Jenkins - de-facto standard such tool on GitHub.