first steps in CI integration #66

Merged
muellerr merged 8 commits from mohr_ci into develop 2021-07-29 16:45:12 +02:00
Showing only changes of commit afb7a2008f - Show all commits

View File

@ -13,7 +13,7 @@ pipeline {
}
stage('Clean') {
when {
anyof {
anyOf {
changelog 'cleanCI'
changeset '*.cmake'
changeset 'CMakeLists.txt'