Actualiser Jenkinsfile

2025-05-18 00:37:58 +00:00
parent 8227a88c2f
commit 7b78fa69d4
1 changed files with 6 additions and 0 deletions
@@ -22,4 +22,10 @@ pipeline {
            }
        }
    }
+    post {
+        always {
+            // Nettoyage de l'espace de travail
+            cleanWs()
+        }
+    }
 }