diff --git a/Jenkinsfile b/Jenkinsfile index cda76fa..c8199ff 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,5 +1,5 @@ pipeline { - agent label{'docker'} + agent { label 'docker' } stages { stage('Build') {