diff --git a/Jenkinsfile b/Jenkinsfile index 5ce075a..d524c9e 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,8 +1,8 @@ pipeline { agent any - options { disableConcurrentBuilds(); buildDiscarder(logRotator(numToKeepStr: '10', artifactNumToKeepStr: '10')); } + options { disableConcurrentBuilds(), buildDiscarder(logRotator(numToKeepStr: '10', artifactNumToKeepStr: '10')) } stages { - agent { docker { image 'schemers/chibi:head'; reuseNode true; args '--user=root'; } } + agent { docker { image 'schemers/chibi:head', reuseNode true, args '--user=root' } } steps { script { stage('init') {