[ci skip] Update Java tooling name

Dieser Commit ist enthalten in:
Alexander Brandes 2023-06-04 13:29:07 +02:00
Ursprung c9a4a9c8b4
Commit b7dc5f7ae5
Es konnte kein GPG-Schlüssel zu dieser Signatur gefunden werden
GPG-Schlüssel-ID: 158F5701A6AAD00C

2
Jenkinsfile vendored
Datei anzeigen

@ -7,7 +7,7 @@ pipeline {
stage('Build') {
steps {
withEnv([
"PATH+JAVA=${tool 'Temurin-17.0.6+10'}/bin"
"PATH+JAVA=${tool 'Temurin-17.0.7_7'}/bin"
]) {
sh './gradlew clean build'
}