Polyphemus is a continuous integration tool that front-ends to GitHub et al. and backends to BaTLaB. This fills a similar role to that of Travis-CI or the GitHub plugin for Jenkins. However, BaTLab has a wider vareity of machines than Travis-CI and is cheaper (free) than running your own machines with Jenkins.