diff --git a/jenkins/Jenkinsfile b/jenkins/Jenkinsfile index 93796b6..06e6af3 100644 --- a/jenkins/Jenkinsfile +++ b/jenkins/Jenkinsfile @@ -1,3 +1,4 @@ + pipeline { agent none stages {