diff --git a/Jenkinsfile b/Jenkinsfile index 777207cc5beca59912e1093c3a569cd9e186452f..d21dee43258ea1d8dbd2c72897a1eece6337dd98 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -42,12 +42,11 @@ pipeline { steps { sh 'frameworks/Kieker/scripts/run-benchmark.sh' } - } - - post { - cleanup { - deleteDir() - cleanWs() + post { + cleanup { + deleteDir() + cleanWs() + } } } }