summaryrefslogtreecommitdiff
path: root/scripts/jobs/integrate/ide
Commit message (Expand)AuthorAgeFilesLines
* Merge commit '1b7e660' into merge-2.11-may-12Lukas Rytz2015-05-121-1/+1
|\
| * PR validation publishes zinc to $prRepoUrlAdriaan Moors2015-05-011-1/+1
* | Punt on IDE validation in 2.12.x...Adriaan Moors2015-02-021-0/+3
|/
* IDE validation: run on last commitAdriaan Moors2015-01-271-0/+32