Skip to content

chore: bump PMD to v7.17.0 in GitHub actions#1162

Closed
joaodinissf wants to merge 2 commits into
dsldevkit:masterfrom
joaodinissf:pmd-17
Closed

chore: bump PMD to v7.17.0 in GitHub actions#1162
joaodinissf wants to merge 2 commits into
dsldevkit:masterfrom
joaodinissf:pmd-17

Commits

Commits on Sep 19, 2025