From f271e17176373e20e149e885b2a4833509caa586 Mon Sep 17 00:00:00 2001
From: Christian Femers <c.femers@tum.de>
Date: Fri, 18 Mar 2022 01:31:30 +0100
Subject: [PATCH] Optimize Maven test execution using forked JVMs

Build time went from the 40-50 s range down to the 10-20 s range.
---
 .github/workflows/maven.yml |  2 +-
 pom.xml                     | 21 +++++++++++++++++++++
 2 files changed, 22 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/maven.yml b/.github/workflows/maven.yml
index 2a490e6b..56e199a6 100644
--- a/.github/workflows/maven.yml
+++ b/.github/workflows/maven.yml
@@ -33,7 +33,7 @@ jobs:
         restore-keys: |
           ares-maven-
     - name: Test with Maven and JDK ${{ matrix.java }}
-      run: mvn -B clean test
+      run: mvn -B clean test -P fast
   test-gradle:
     runs-on: ubuntu-latest
     strategy:
diff --git a/pom.xml b/pom.xml
index fd351c27..6eab712c 100644
--- a/pom.xml
+++ b/pom.xml
@@ -316,6 +316,27 @@
 				</snapshotRepository>
 			</distributionManagement>
 		</profile>
+		<!-- Profile for fast builds and tests (~ 16 s) -->
+		<profile>
+			<id>fast</id>
+			<build>
+				<plugins>
+					<plugin>
+						<groupId>org.apache.maven.plugins</groupId>
+						<artifactId>maven-surefire-plugin</artifactId>
+						<version>3.0.0-M5</version>
+						<configuration>
+							<forkCount>4</forkCount>
+							<reuseForks>true</reuseForks>
+							<properties>
+								<!-- There seem to be race conditions with forks and jqwik -->
+								<configurationParameters>jqwik.database=</configurationParameters>
+							</properties>
+						</configuration>
+					</plugin>
+				</plugins>
+			</build>
+		</profile>
 		<!-- Profile for manually deploying to Maven Central -->
 		<profile>
 			<id>ossrh</id>