Merge branch 'main' into develop

2026-09-28 18:55:33 +00:00 · 2023-08-11 16:44:23 +02:00
parent 6edfaf3eb6 9db53f73e2
commit de78cd014d
5 changed files with 6 additions and 0 deletions
@@ -45,6 +45,7 @@ jobs:
        with:
          distribution: 'zulu'
          java-version: ${{ env.JAVA_VERSION }}
+          check-latest: true
          cache: 'maven'
      - name: Run maven
        run: mvn -B clean package -Pdependency-check,linux -DskipTests