Merge pull request #159 from eMoflon/feature/update-maven-v3.9.13

Updates Maven to v3.9.13

Author: maxkratz

.github/workflows/ci.yml

@@ -34,7 +34,7 @@ jobs:
       - name: Set up Maven
         uses: stCarolas/setup-maven@v5
         with:
-          maven-version: 3.9.12
+          maven-version: 3.9.13
       - name: Build with Maven
         run: mvn --batch-mode --update-snapshots package
       - name: Upload updatesite artifact
@@ -61,7 +61,7 @@ jobs:
       - name: Set up Maven
         uses: stCarolas/setup-maven@v5
         with:
-          maven-version: 3.9.12
+          maven-version: 3.9.13
       - name: Create JavaDoc with Maven
         run: mvn --batch-mode --update-snapshots site
       - name: Upload doc artifact
@@ -87,7 +87,7 @@ jobs:
       - name: Set up Maven
         uses: stCarolas/setup-maven@v5
         with:
-          maven-version: 3.9.12
+          maven-version: 3.9.13
       - name: Test with Maven
         run: mvn --batch-mode --update-snapshots clean -Dtest=BasicTest,GlpkTest,SolverTest -DfailIfNoTests=false verify