diff --git a/.ci/jenkins/Jenkinsfile b/.ci/jenkins/Jenkinsfile index a7c808586..16174a51f 100644 --- a/.ci/jenkins/Jenkinsfile +++ b/.ci/jenkins/Jenkinsfile @@ -13,6 +13,7 @@ pipeline { stage("Build&Test") { steps { script { + sh 'env' List buildParams = [] buildParams.add(string(name: "DISPLAY_NAME", value: "PR #${CHANGE_ID}: ${CHANGE_URL}")) buildParams.add(string(name: "CHANGE_ID", value: CHANGE_ID))