Scripts used by eponymous jenkins jobs at http://scala-webapps.epfl.ch/jenkins/ - View it on GitHub