summaryrefslogtreecommitdiff
path: root/Jenkinsfile
AgeCommit message (Expand)Author
2018-04-15Change: [Jenkinsfile] Set a git user.email and user.name before rebase (#6728)Patric Stout
2018-04-14Add: [Jenkinsfile] rebase the pull-request on top of master (#6720)Patric Stout
2018-04-14Change: [JenkinsFile] allow easier configuration stagesPatric Stout
2018-04-14Add: [Jenkinsfile] enable ANSI colors in logsPatric Stout
2018-04-14Add: [JenkinsFile] mark as a groovy scriptPatric Stout
2018-04-14Add: [JenkinsFile] show CI status per entry on GitHubPatric Stout
2018-04-08Add: run Clang 3.8 and commit-checker during CI (#6694)Patric Stout
2018-04-07Add: Jenkinsfile for CI validationTrueBrain