From 74ecbb7cee9242f5cb7421f4d59eaaaebbab9b57 Mon Sep 17 00:00:00 2001 From: jstastny-cz Date: Wed, 8 Nov 2023 16:41:16 +0100 Subject: [PATCH] env printout --- .ci/jenkins/Jenkinsfile | 1 + 1 file changed, 1 insertion(+) 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))