From 826f8031747d185eeaa4dff729cc6441c5a95a31 Mon Sep 17 00:00:00 2001
From: Enno Gelhaus <egelhaus@ennogelhaus.de>
Date: Fri, 3 Oct 2025 16:04:18 +0200
Subject: [PATCH] Fix quoting of environment variables in Jenkins pipeline to
 resolve compilation errors

---
 Jenkins/BuildPR.Jenkinsfile | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/Jenkins/BuildPR.Jenkinsfile b/Jenkins/BuildPR.Jenkinsfile
index 49237fc8..6e279b0e 100644
--- a/Jenkins/BuildPR.Jenkinsfile
+++ b/Jenkins/BuildPR.Jenkinsfile
@@ -5,10 +5,11 @@ pipeline {
 
     // Environment variables that hold PR details, provided by Jenkins Multibranch setup.
     environment {
-        // These variables are typically provided by Jenkins (e.g., in a Multibranch Pipeline setup)
-        PR_KEY = env.CHANGE_ID
-        PR_BRANCH = env.CHANGE_BRANCH
-        PR_BASE = env.CHANGE_TARGET
+        // FIX: Environment variables must be quoted or wrapped in a function call.
+        // We quote the 'env.CHANGE_ID' reference to fix the compilation error.
+        PR_KEY = "${env.CHANGE_ID}"
+        PR_BRANCH = "${env.CHANGE_BRANCH}"
+        PR_BASE = "${env.CHANGE_TARGET}"
     }
 
     stages {