Adding jenkins pipeline definition
authorMartin Stockhammer <martin.stockhammer@ars.de>
Mon, 16 Apr 2018 16:06:01 +0000 (18:06 +0200)
committerMartin Stockhammer <martin.stockhammer@ars.de>
Mon, 16 Apr 2018 16:06:01 +0000 (18:06 +0200)
commitace10fb6f720ad4a3b088630715141f49be69521
tree482e9bfd94cdb68a51c4370805d7785638128da8
parent9c781e9d314eba4ebda40e2f0b6d756c902b1ccb
Adding jenkins pipeline definition
Jenkinsfile [new file with mode: 0644]