diff --git a/build/Jenkinsfile.pr b/build/Jenkinsfile.pr index 26394defb1..fc6c61f5a6 100644 --- a/build/Jenkinsfile.pr +++ b/build/Jenkinsfile.pr @@ -237,6 +237,9 @@ pipeline { } stage('Clean checkout') { + when { + expression { env.CHANGE_ID != null } + } // We need to perform a clean checkout here to ge the original git commit hash from the PR // Jenkins now merges master in top of the PR and this generate a new git hash // We need to do that to build the docker image based on the original git commit and then this will be used by