diff options
| -rw-r--r-- | jenkins/dispatch.groovy | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/jenkins/dispatch.groovy b/jenkins/dispatch.groovy index ede4c94..ce8b1cd 100644 --- a/jenkins/dispatch.groovy +++ b/jenkins/dispatch.groovy @@ -336,5 +336,12 @@ node(LABEL) { println("No build artifacts found.") } } + + stage ("Cleanup") { + // Clean up the workspace to conserve disk space. Conda installations + // especially consume a fair amount. + // The directory deleted is the one named after the jenkins pipeline job. + deleteDir() + } } |