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

adangel merged 1 commit into
pmd:mainfrom
adangel:update-pmd-7.25.0

Conversation

@adangel

@adangel adangel commented May 29, 2026

Copy link
Copy Markdown
Member

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