diff --git a/Jenkinsfile b/Jenkinsfile index e5dbe770f..c07af38c0 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -25,4 +25,6 @@ pipeline { } } } -} \ No newline at end of file +} + +