CI Jenkinsfile: use taps and fix fileformat

This commit is contained in:
Jan-Tarek Butt 2019-09-27 00:01:01 +02:00 committed by Matthias Schiffer
parent a2ced263ab
commit 6024c7a22f
No known key found for this signature in database
GPG Key ID: 16EF3F64CB201D9C