Update CI config

Signed-off-by: Andrew Berezovskyi <andriib@kth.se>

.github/workflows/maven.yml

@@ -12,13 +12,13 @@ on:
 jobs:
   build:
     runs-on: ubuntu-latest
-    timeout-minutes: 10
+    timeout-minutes: 15
     strategy:
       fail-fast: false
       matrix:
         jdk: ['11']
         # temurin is Eclipse/AdoptOpenJDK/Adoptium
-        # liberica is a build of Oracle GraalVM
+        # liberica is a preferred Spring SDK
         distribution: ['temurin', 'zulu', 'liberica']
         experimental: [false]
         # jena 3.x has some locking problems under JDK 16/17
@@ -51,4 +51,4 @@ jobs:
             ${{ runner.os }}-${{ matrix.jdk }}_${{ matrix.distribution }}-maven-
       - name: Build with Maven
         run: |
-          mvn -B package --file pom.xml
+          mvn -B verify --file pom.xml