a continuous integration service based on Jenkins and Linux