diff --git a/Jenkinsfile b/Jenkinsfile index b10aa4e70..35f858b2a 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,3 +1,5 @@ + + pipeline { agent any stages {