Skip to content

Upgrade maven-pmd-plugin as part of the Java 17 migration - #1208

Merged
timtebeek merged 1 commit into
mainfrom
tim/maven-pmd-plugin-upgrade
Aug 17, 2026
Merged

Upgrade maven-pmd-plugin as part of the Java 17 migration#1208
timtebeek merged 1 commit into
mainfrom
tim/maven-pmd-plugin-upgrade

Upgrade `maven-pmd-plugin` as part of the Java 17 migration

dd597f2
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

10 errors and 11 warnings
build / build
succeeded Aug 17, 2026 in 7m 24s