8 Commits (e8de33a61fcecdd09d3c9bdb68c64c5418dbd437)

Author	SHA1	Message	Date
Patric Stout	ce6761a6de	Change: [Jenkinsfile] Set a git user.email and user.name before rebase (#6728) ... Rebase demands both are set, otherwise it refuses to work	2018-04-15 22:22:32 +02:00
Patric Stout	158eed669a	Add: [Jenkinsfile] rebase the pull-request on top of master (#6720) ... This allows PRs to be a bit older, but still validate the correct result	2018-04-14 22:14:10 +02:00
Patric Stout	43338b8a45	Change: [JenkinsFile] allow easier configuration stages	2018-04-14 20:19:59 +02:00
Patric Stout	a5382d8dd8	Add: [Jenkinsfile] enable ANSI colors in logs	2018-04-14 20:19:59 +02:00
Patric Stout	af4b52aff6	Add: [JenkinsFile] mark as a groovy script ... This allows applications to show highlighting correctly	2018-04-14 20:19:59 +02:00
Patric Stout	2ec775b964	Add: [JenkinsFile] show CI status per entry on GitHub ... This makes it easier (and faster) to spot what went wrong	2018-04-14 20:19:59 +02:00
Patric Stout	97c0594ced	Add: run Clang 3.8 and commit-checker during CI (#6694)	2018-04-08 17:39:45 +02:00
TrueBrain	11c592ef0f	Add: Jenkinsfile for CI validation ... Currently runs two CIs, but this can be extended in the future	2018-04-07 21:29:23 +02:00