Skip to content

Bump PMD from 7.24.0 to 7.25.0#29

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#29
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 the dependencies Pull requests that update a dependency file label May 29, 2026
@adangel adangel merged commit 6916a4d into pmd:main May 29, 2026
6 checks passed
@adangel adangel deleted the update-pmd-7.25.0 branch May 29, 2026 07:50
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