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 12 additions and 0 deletions
Showing only changes of commit c453af5911 - Show all commits

View File

@ -16,6 +16,18 @@ pipeline {
sh 'rm -rf $BUILDDIR'
}
}
stage('Clean') {
when {
anyOf {
changelog 'cleanCI'
changeset '*.cmake'
changeset 'CMakeLists.txt'
}
}
steps {
sh 'rm -rf $BUILDDIR'
}
}
stage('Configure') {
agent {
dockerfile {