build: update PMD to 7.17 in the verify GitHub Action#1192

rubenporras merged 1 commit into

dsldevkit:masterdsldevkit/dsl-devkit:masterfrom

rubenporras:masterrubenporras/dsl-devkit:masterCopy head branch name to clipboard