summaryrefslogtreecommitdiff
path: root/Jenkinsfile
AgeCommit message (Collapse)Author
2019-09-22Jenkins: sync to current branchChristian Poessinger
Imported Jenkinsfile from commit b6c8ba61582d38c72b13c5
2019-05-22add tests to JenkinsfileKim Hagen
2019-05-22Create Jenkinsfile cruxKim Hagen