scala/jenkins-scripts — pull request #39 by dragos (2013-10-17 13:10:08+00:00)
Title: Add a job for running the IDE unified build for PR validation.

This will eventually replace the `pr-scala-integrate-ide` script, but I'd like to do the switch in two steps:

* use the -unified script
* after a few days, if everything looks good, remove the old script

This way I can easily switch the Jenkins job to the old one, and limit damage in case of problems.