aboutsummaryrefslogtreecommitdiff
path: root/Jenkinsfile
AgeCommit message (Collapse)Author
2019-03-23Add proposal for Jenkins Pipeline (#410)Benedikt Ritter
Introduces a Jenkins pipeline with a build stage and an optional deploy stage that is only executed when master branch is build. Post actions send mails in case of build failures.