Different Xmx opts for Jenkins / GitHub actions

See #1809.

Author: sratz

.github/workflows/ci.yml

@@ -9,6 +9,9 @@ on:
   pull_request:
     branches: [ master ]
 
+env:
+  MAVEN_OPTS: '-Xmx3000m'
+
 jobs:
   build:
     uses: eclipse-platform/eclipse.platform.releng.aggregator/.github/workflows/mavenBuild.yml@master

.mvn/jvm.config

@@ -1,2 +1 @@
 -XX:+PrintFlagsFinal
--Xmx3000m

Jenkinsfile

@@ -11,6 +11,9 @@ pipeline {
 		maven 'apache-maven-latest'
 		jdk 'temurin-jdk21-latest'
 	}
+	environment {
+		MAVEN_OPTS = '-Xmx1500m'
+	}
 	stages {
 		stage('Build') {
 			steps {