Repository navigation

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

Merged

rubenporras merged 1 commit into

dsldevkit:masterfrom

rubenporras:master

Oct 18, 2025

Merged

build: update PMD to 7.17 in the verify GitHub Action#1192
rubenporras merged 1 commit into
dsldevkit:masterfrom
rubenporras:master

Commits on Oct 18, 2025
- build: update PMD to 7.17 in the verify GitHub Action
  rubenporras
  authored
  b4f3070