Catch 2 Update #538

Merged
mohr merged 13 commits from mueller/catch2-update into development 2022-01-31 15:18:43 +01:00
1 changed files with 7 additions and 6 deletions
Showing only changes of commit bf7fabd7ba - Show all commits

View File

@ -13,12 +13,13 @@ pipeline {
reuseNode true
}
}
when {
anyOf {
changeset "${DOCK_FILE_DIR}/Dockerfile";
changelog 'cleanDocker'
}
}
// Does not work, but maybe not necessary anyway..
//when {
// anyOf {
// changeset "${DOCK_FILE_DIR}/Dockerfile";
// changelog 'cleanDocker'
// }
//}
steps {
sh 'rm -rf $BUILDDIR'
}