diff --git a/Jenkinsfile b/Jenkinsfile index 7273563..2349b07 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,8 +1,6 @@ pipeline { agent { - agent { - node { label'master' } - } + node { label'master' } } options { // Limit build history with buildDiscarder option: