stick to maven 3.8.6

Apparently maven 3.9.0 has issue on our CI temporarily stick to 3.8.6 waiting for another upgrade
gemoc · Apr 6, 2023 · 1ff4816 · 1ff4816
1 parent 553cb23
commit 1ff4816
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -97,7 +97,9 @@ spec:
 	}
 	tools {
 	        // cf. https://wiki.eclipse.org/Jenkins#Tools_.28and_locations_on_the_default_JNLP_agent_container.29
-        	maven 'apache-maven-latest'
+		// cf. https://wiki.eclipse.org/Jenkins#Apache_Maven
+        	// maven 'apache-maven-latest'
+		maven 'apache-maven-3.8.6'
         	jdk 'openjdk-jdk11-latest'
 	}
 	environment {