From 4f6b09db3e81daee547fec9056e62e5a15a151f9 Mon Sep 17 00:00:00 2001
From: twi-devel <torsten.wierschin@life-maps.com>
Date: Thu, 22 Oct 2026 19:26:50 +0200
Subject: [PATCH] Fix Coverage stage branch check for PR builds

Use CHANGE_BRANCH for PR builds (BRANCH_NAME is PR-3 in PR context)

Entire-Checkpoint: 7a9bf7a0810d
---
 Jenkinsfile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 6335360..866d58f 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -106,7 +106,8 @@ pipeline {
     stage('Coverage') {
       when {
         expression {
-          return env.BRANCH_NAME ==~ /main|master|coverage.*|feature.*/
+          def branch = env.CHANGE_BRANCH ?: env.BRANCH_NAME
+          return branch ==~ /main|master|coverage.*|feature.*/
         }
       }
       steps {