diff --git a/Jenkinsfile b/Jenkinsfile index f89b3319e..c5946fae2 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -70,10 +70,8 @@ pipeline { deleteDir() unstash 'source' script { - docker.image('python:3.7-stretch').inside("-e PATH=${PATH}:${env.WORKSPACE}/bin"){ - dir("${BASE_DIR}"){ - preCommit(commit: "${GIT_BASE_COMMIT}", junit: true) - } + dir(BASE_DIR){ + preCommit(commit: "${GIT_BASE_COMMIT}", junit: true, dockerImage: 'python:3.7-stretch') } } }