diff --git a/Jenkinsfile b/Jenkinsfile index b10aa4e70..794b54709 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,3 +1,4 @@ + pipeline { agent any stages {