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