diff --git a/Jenkinsfile b/Jenkinsfile index 4899b10..b22f775 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,6 +1,5 @@ pipeline { -``` agent none options {