merge from master v5.0.2 (from v4.7.1)

This commit is contained in:
Jürg Schulthess
2025-07-26 16:40:18 +02:00
parent 6b3264f51f
commit 04fbe0bf52
154 changed files with 8157 additions and 1409 deletions

View File

@@ -21,7 +21,11 @@ jobs:
with:
java-version: '11'
distribution: 'adopt'
- name: Load custom deps
run: |
mvn install -DskipTests=true --file pom.xml
- name: Run all tests
run: |
mvn -B clean test -DskipTests=false --file pom.xml