Skip to content

Merge pull request #715 from matthias-fratz-bsz/develop #454

Merge pull request #715 from matthias-fratz-bsz/develop

Merge pull request #715 from matthias-fratz-bsz/develop #454

Annotations

1 warning

build (ubuntu-latest, jdk22)

succeeded Dec 18, 2024 in 15m 49s