debian-jenkins-pipeline