Skip to content

chore(deps): bump pmd.version from 7.13.0 to 7.14.0#1136

Merged
rubenporras merged 1 commit into
dsldevkit:masterfrom
rubenporras:pmd
Jun 24, 2025
Merged

chore(deps): bump pmd.version from 7.13.0 to 7.14.0#1136
rubenporras merged 1 commit into
dsldevkit:masterfrom
rubenporras:pmd

Conversation

@rubenporras
Copy link
Copy Markdown
Member

No description provided.

@rubenporras rubenporras requested a review from joaodinissf June 24, 2025 07:31
@rubenporras rubenporras merged commit 102dc35 into dsldevkit:master Jun 24, 2025
2 checks passed
@rubenporras rubenporras deleted the pmd branch June 24, 2025 09:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants