diff --git a/Jenkinsfile b/Jenkinsfile index 1c25a630ac977ae5a3500ea896be5e2844031709..deb6ce4266ec36519843962e4f378ed44768e381 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -262,6 +262,7 @@ pipeline { } } } + } } } }