Set Xmx option only for Jenkins CI

sratz · sratz · commit 64136caa1fa2 · 2025-04-14T14:37:34.000+02:00
Let GitHub-actions-based workflows use the default. See #1809.
diff --git a/.mvn/jvm.config b/.mvn/jvm.config
@@ -1,2 +1 @@
 -XX:+PrintFlagsFinal
--Xmx3000m
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -11,6 +11,9 @@ pipeline {
 		maven 'apache-maven-latest'
 		jdk 'temurin-jdk21-latest'
 	}
+	environment {
+		MAVEN_OPTS = '-Xmx1500m'
+	}
 	stages {
 		stage('Build') {
 			steps {
