diff --git a/Jenkinsfile b/Jenkinsfile index 6694d51..a92d7aa 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -10,7 +10,6 @@ pipeline { withDockerRegistry([ credentialsId: "6ff44976-23cd-4cc2-902c-de8c340e65e5", url: "https://reg.zknt.org" ]) { script { def customImage = docker.build("reg.zknt.org/zknt/debian", "--build-arg DATE=$timeStamp --build-arg GOSU_VERSION=$gosu_version --build-arg DUMB_INIT_VERSION=$dumb_init_version --no-cache --pull .") - aquaMicroscanner imageName: 'reg.zknt.org/zknt/debian', notCompliesCmd: '', onDisallowed: 'ignore', outputFormat: 'html' customImage.push("buster") customImage.push("stable") customImage.push("10") @@ -28,7 +27,7 @@ pipeline { } post { always { - emailext body: 'build finished', subject: '[jenkins] docker ' + project + ': ' + currentBuild.result, to: 'cg@zknt.org', from: 'sysadm@zknt.org', attachLog: true + emailext body: 'build finished', subject: '[jenkins] docker debian: ' + currentBuild.result, to: 'cg@zknt.org', from: 'sysadm@zknt.org', attachLog: true } } options {