summaryrefslogtreecommitdiff
path: root/Jenkinsfile.docker
AgeCommit message (Expand)Author
2021-06-26Docker: use dedicated Jenkinsfile to build containersChristian Poessinger