From b88e55ded2e459f9b6bef7a6e97af1483fdabff0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Yoann=20Rodi=C3=A8re?= <yoann@hibernate.org>
Date: Thu, 13 Jun 2024 12:14:36 +0200
Subject: [PATCH] Release Jenkinsfile: log various constants

---
 ci/release/Jenkinsfile | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/ci/release/Jenkinsfile b/ci/release/Jenkinsfile
index e46505157b..0193bfde76 100644
--- a/ci/release/Jenkinsfile
+++ b/ci/release/Jenkinsfile
@@ -19,6 +19,10 @@ env.PROJECT = "orm"
 env.JIRA_KEY = "HHH"
 def RELEASE_ON_PUSH = false // Set to `true` *only* on branches where you want a release on each push.
 
+print "INFO: env.PROJECT = ${env.PROJECT}"
+print "INFO: env.JIRA_KEY = ${env.JIRA_KEY}"
+print "INFO: RELEASE_ON_PUSH = ${RELEASE_ON_PUSH}"
+
 // --------------------------------------------
 // Build conditions