Adding jenkins pipeline definition
authorMartin Stockhammer <martin.stockhammer@ars.de>
Mon, 16 Apr 2018 15:48:18 +0000 (17:48 +0200)
committerMartin Stockhammer <martin.stockhammer@ars.de>
Mon, 16 Apr 2018 15:48:18 +0000 (17:48 +0200)
commit06a63f5a50f732134e95e68e0aacb24565cecc27
treecf3e8e07e5aa0c47021159c4084f8984a0a4ee85
parentefb19684e06ebfe6a1e5f768c9568d39cc8da501
Adding jenkins pipeline definition
Jenkinsfile [new file with mode: 0644]