diff options
Diffstat (limited to 'Jenkinsfile')
| -rw-r--r-- | Jenkinsfile | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 942519e..6bcc1f3 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -72,11 +72,4 @@ pipeline { } } } - - post { - always { - echo 'One way or another, I have finished' - deleteDir() - } - } }
\ No newline at end of file |
