Added Jenkisnfile to migrate CI to pipeline setup
authorpeusterm <manuel.peuster@uni-paderborn.de>
Mon, 18 Sep 2017 15:03:10 +0000 (17:03 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Mon, 18 Sep 2017 15:03:10 +0000 (17:03 +0200)
commitf2d0ca0691730f616040d57bee9ac6ca38481822
treeb070464cda1c48506ff7441349973b17c9f28f54
parentf8256ce8bf75d088cfe0c7792d4e289c553c21e3
Added Jenkisnfile to migrate CI to pipeline setup

Signed-off-by: peusterm <manuel.peuster@uni-paderborn.de>
Jenkinsfile [new file with mode: 0644]