Jenkinsfile

gbif · May 29, 2024 · c74875b · c74875b
1 parent a23569a
commit c74875b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -1,7 +1,7 @@
 pipeline {
     agent any
     tools {
-        maven 'Maven3.8.5'
+        maven 'Maven 3.8.5'
     }
     options {
         buildDiscarder(logRotator(numToKeepStr: '10'))