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 cf3d4d8de3 - Show all commits

View File

@ -15,7 +15,7 @@ pipeline {
} }
when { when {
anyOf { anyOf {
changeset "$DOCK_FILE_DIR/Dockerfile"; changeset "${DOCK_FILE_DIR}/Dockerfile";
changelog 'cleanDocker' changelog 'cleanDocker'
} }
} }