Fixes mistyped tool declaration

viatra · Nov 3, 2022 · 1f67845 · 1f67845
1 parent b233986
commit 1f67845
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -17,7 +17,7 @@ pipeline {
 	}
 	tools { 	
 		maven 'Maven 3.3.9' 	
-		jdk 'AdoptOpenJDK 8' 	
+		jdk 'AdoptOpenJDK 8.0' 	
 	}
 	stages {
 		stage('Build Plug-in') {