Adding jenkins pipeline definition
authorMartin Stockhammer <martin.stockhammer@ars.de>
Mon, 16 Apr 2018 16:03:49 +0000 (18:03 +0200)
committerMartin Stockhammer <martin.stockhammer@ars.de>
Mon, 16 Apr 2018 16:03:49 +0000 (18:03 +0200)
commit10eb47da534ea4be4242dd0ef3db35e85371696e
tree98b9197f12d6388e1caee7192f3c1eb5aee015ca
parent757930931d94b30ceed2133828f4733ecef2b37f
Adding jenkins pipeline definition
Jenkinsfile [new file with mode: 0644]