diff --git a/Jenkinsfile b/Jenkinsfile index 7a969204..cfb5b34e 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -91,6 +91,7 @@ pipeline{ JAVA_HOME_DIR="/home/builder/java/jdk-17.0.2" } stages{ + // Just adding this line so there's at least one change in this temporary PR. stage('runtests-11.3.1'){ agent {label 'nodeclientpool'} steps{