Я использовал пользовательское рабочее пространство в Jenkins, тогда deleteDir () не удалит папку @tmp.
Чтобы удалить @tmp вместе с рабочим пространством, используйте следующую команду:
pipeline {
agent {
node {
customWorkspace "/home/jenkins/jenkins_workspace/${JOB_NAME}_${BUILD_NUMBER}"
}
}
post {
cleanup {
/* clean up our workspace */
deleteDir()
/* clean up tmp directory */
dir("${workspace}@tmp") {
deleteDir()
}
/* clean up script directory */
dir("${workspace}@script") {
deleteDir()
}
}
}
}
Этот фрагмент также будет работать для рабочего пространства по умолчанию.