Skip to content

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

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

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

Commits

Commits on Sep 20, 2025