diff --git a/Jenkinsfile b/Jenkinsfile index 59eb2a6..c29752b 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -22,4 +22,10 @@ pipeline { } } } + post { + always { + // Nettoyage de l'espace de travail + cleanWs() + } + } }