CI Jenkinsfile: use taps and fix fileformat

This commit is contained in:
Jan-Tarek Butt 2019-09-27 00:01:01 +02:00
parent dd76e0898d
commit 9bc33fab85