CI: run maven in batch mode

murdos · fmbenhassine · commit a8ff20953638 · 2023-07-02T22:52:31.000+02:00
This will notably remove download progress in logs
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -16,4 +16,4 @@ jobs:
           distribution: 'temurin'
           java-version: '17'
       - name: Build with Maven
-        run: mvn clean package
+        run: mvn clean package --batch-mode
