cleanup workspace after build (#128)

josephca · web-flow · commit 84e09b93d2dd · 2020-01-20T11:09:13.000-05:00
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -132,4 +132,10 @@ pipeline {
             }
         }       
     } 
+    post {
+        always {
+            echo 'Clean up workspace'
+            deleteDir() /* clean up our workspace */
+        }
+    }
 }

Original file line number	Diff line number	Diff line change
`@@ -132,4 +132,10 @@ pipeline {`
`132`	`132`	`}`
`133`	`133`	`}`
`134`	`134`	`}`
	`135`	`+ post {`
	`136`	`+ always {`
	`137`	`+ echo 'Clean up workspace'`
	`138`	`+ deleteDir() /* clean up our workspace */`
	`139`	`+ }`
	`140`	`+ }`
`135`	`141`	`}`