From 141ef0c8b2c317e1cc9469af4760c2f16bd092c5 Mon Sep 17 00:00:00 2001 From: Jan Was Date: Mon, 10 Jan 2022 11:47:44 +0100 Subject: [PATCH] Add a profile to quickly build freshly checked out branches --- pom.xml | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/pom.xml b/pom.xml index f662607ee21f7..6e2e9a3de72a8 100644 --- a/pom.xml +++ b/pom.xml @@ -1858,5 +1858,15 @@ + + quick + + true + true + true + true + true + +