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