Merge pull request #12377 from jetty/jetty-12.0.x-fix-pr-detection

Jetty 12.0.x fix PR detection
jetty · Oct 11, 2024 · 6c13f35 · 6c13f35
2 parents e60b694 + 305935a
commit 6c13f35
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -162,7 +162,10 @@ def useBuildCache() {
 }
 
 def useEclipseDash() {
-  return pullRequest.labels.contains("eclipse-dash")
+  if (env.BRANCH_NAME ==~ /PR-\d+/) {
+    return pullRequest.labels.contains("eclipse-dash")
+  }
+  return false
 }
 
 def saveHome() {