diff --git a/Jenkinsfile b/Jenkinsfile index 4ec8665..53b92d2 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -6,7 +6,7 @@ pipeline { stages { stage('build') { agent { - docker { image '${env.DOCKER_PREFIX}/picosdk' } + docker { image "${env.DOCKER_PREFIX}/picosdk" } } steps { sh 'mkdir -p build'