Adding jenkins pipeline definition
authorMartin Stockhammer <martin.stockhammer@ars.de>
Mon, 16 Apr 2018 16:04:53 +0000 (18:04 +0200)
committerMartin Stockhammer <martin.stockhammer@ars.de>
Mon, 16 Apr 2018 16:04:53 +0000 (18:04 +0200)
commitf9e69e0a8ce1f0c95cb686814fc873609307603e
treea80cf2d1d2dc0af56c60b5404e381fc217a3a449
parent74dfe345790f60ec8f6d918318e18806a27305ce
Adding jenkins pipeline definition
Jenkinsfile [new file with mode: 0644]