Skip to content

Bump PMD from 7.24.0 to 7.25.0#406

Merged
adangel merged 1 commit into
pmd:mainfrom
adangel:update-pmd-7.25.0
May 29, 2026
Merged

Bump PMD from 7.24.0 to 7.25.0#406
adangel merged 1 commit into
pmd:mainfrom
adangel:update-pmd-7.25.0

Conversation

@adangel
Copy link
Copy Markdown
Member

@adangel adangel commented May 29, 2026

No description provided.

@adangel adangel added this to the 7.25.0 milestone May 29, 2026
@adangel adangel added the dependencies Pull requests that update a dependency file label May 29, 2026
@adangel adangel merged commit 9f14d21 into pmd:main May 29, 2026
6 checks passed
@adangel adangel deleted the update-pmd-7.25.0 branch May 29, 2026 07:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Pull requests that update a dependency file

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant