summaryrefslogtreecommitdiff
path: root/Jenkinsfile
AgeCommit message (Expand)Author
2021-02-24Update JenkinsfilecruxDaniil Baturin
2020-02-14Jenkins: use uniform branch independent pipelineChristian Poessinger
2019-05-24Create Jenkinsfile cruxKim Hagen