jenkins: clean workspace (#2248)

2026-06-27 17:02:04 +08:00 · 2020-09-29 22:14:54 -07:00
parent 2a2cfd6bb5
commit 846b56831f
1 changed files with 7 additions and 0 deletions
@@ -140,6 +140,13 @@ pipeline {
              }
            }
          }
+
+          post {
+            always {
+              cleanWs()
+            }
+          }
+
        }

      }