Skip to content

Bump PMD from 7.15.0 to 7.16.0#289

Merged
adangel merged 2 commits intopmd:mainfrom
adangel:bump-pmd-7.16.0
Jul 25, 2025
Merged

Bump PMD from 7.15.0 to 7.16.0#289
adangel merged 2 commits intopmd:mainfrom
adangel:bump-pmd-7.16.0

Conversation

@adangel
Copy link
Copy Markdown
Member

@adangel adangel commented Jul 25, 2025

No description provided.

@adangel adangel added this to the 7.16.0 milestone Jul 25, 2025
@adangel adangel added the dependencies Pull requests that update a dependency file label Jul 25, 2025
@adangel adangel merged commit 9073e76 into pmd:main Jul 25, 2025
11 of 12 checks passed
@adangel adangel deleted the bump-pmd-7.16.0 branch July 25, 2025 07:47
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