summaryrefslogtreecommitdiff
path: root/scripts
Commit message (Expand)AuthorAgeFilesLines
* [backport] Remove starr.use.released property (not in use anymore)Lukas Rytz2015-05-061-1/+1
* PR validation publishes zinc to $prRepoUrlAdriaan Moors2015-05-011-1/+1
* Derive repository info from (jenkins) env varsAdriaan Moors2015-04-162-16/+23
* Set scala.full.version during bootstrap,Adriaan Moors2015-03-021-1/+3
* IDE validation: run on last commitAdriaan Moors2015-01-271-0/+32
* New PR validationAdriaan Moors2015-01-214-71/+217
* TODO notes for release scriptAdriaan Moors2015-01-041-0/+5
* Towards travis-style CIAdriaan Moors2014-12-292-290/+87
* Import scripts verbatim from jenkin-scriptsAdriaan Moors2014-12-294-0/+875