diff --git a/Jenkinsfile b/Jenkinsfile index 3c4d1a2..88dfd91 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -180,7 +180,7 @@ def exec(repo_url, repo_name) { output = sh(script: bashWrapper, returnStdout: true)?.trim() } } - if (filter_with && output.contains(filter_with)) { + if ((!filter) || (filter_with && output.contains(filter_with))) { def xml_action = """