Catch 2 Update #538

Merged
mohr merged 13 commits from mueller/catch2-update into development 2022-01-31 15:18:43 +01:00
Showing only changes of commit 8414c9d471 - Show all commits

View File

@ -10,6 +10,7 @@ pipeline {
dockerfile { dockerfile {
dir '$DOCK_FILE_DIR' dir '$DOCK_FILE_DIR'
additionalBuildArgs '--no-cache' additionalBuildArgs '--no-cache'
reuseNode true
} }
} }
when { when {
@ -18,6 +19,9 @@ pipeline {
changelog 'cleanDocker' changelog 'cleanDocker'
} }
} }
steps {
sh 'rm -rf $BUILDDIR'
}
} }
stage('Clean') { stage('Clean') {
agent { agent {