next try

rbri · rbri · commit 9517718e3840 · 2026-02-18T07:01:07.000+01:00
diff --git a/src/jenkins/library-tests b/src/jenkins/library-tests
@@ -6,12 +6,10 @@ pipeline {
     timestamps()
     timeout(time: 6, unit: 'HOURS')
   }
-  tools {
-    jdk 'openlogic-openjdk-17.0.17+10'
-  }
   stages {
     stage('Build') {
       steps {
+        sh 'java -version'
         sh 'mvn clean test -U -P only-library-tests --show-version -Dgpg.skip -Djava.awt.headless=true'
       }
     }

Original file line number	Diff line number	Diff line change
`@@ -6,12 +6,10 @@ pipeline {`
`6`	`6`	`timestamps()`
`7`	`7`	`timeout(time: 6, unit: 'HOURS')`
`8`	`8`	`}`
`9`		`- tools {`
`10`		`- jdk 'openlogic-openjdk-17.0.17+10'`
`11`		`- }`
`12`	`9`	`stages {`
`13`	`10`	`stage('Build') {`
`14`	`11`	`steps {`
	`12`	`+ sh 'java -version'`
`15`	`13`	`sh 'mvn clean test -U -P only-library-tests --show-version -Dgpg.skip -Djava.awt.headless=true'`
`16`	`14`	`}`
`17`	`15`	`}`