GitHub repository: scala/jenkins-scripts
Primary language: Shell
Description: Scripts used by eponymous jenkins jobs at http://scala-webapps.epfl.ch/jenkins/