From 4b0dd80cacf60e603077ea1d3669ca3511d366dd Mon Sep 17 00:00:00 2001
From: cadmic <cadmic24@gmail.com>
Date: Sun, 28 Jan 2024 19:15:43 -0800
Subject: [PATCH] Move deleteDir() to cleanup section

---
 Jenkinsfile | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 7f72724f25..4c00340b74 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -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,