Move deleteDir() to cleanup section

2026-05-23 06:54:24 -04:00 · 2024-01-28 19:15:43 -08:00
parent 7ecf07b093
commit 4b0dd80cac
1 changed files with 1 additions and 3 deletions
@@ -65,11 +65,9 @@ pipeline {
        failure {
            sh 'cat tools/check_format.txt'
        }
-        always {
+        cleanup {
            echo "Finished, deleting directory."
            deleteDir()
-        }
-        cleanup {
            echo "Clean up in post."
            cleanWs(cleanWhenNotBuilt: false,
                    deleteDirs: true,