aboutsummaryrefslogtreecommitdiff
path: root/Jenkinsfile
AgeCommit message (Expand)Author
2019-03-23Add proposal for Jenkins Pipeline (#410)Benedikt Ritter