Skip to content

Bump PMD from 7.11.0 to 7.12.0#264

Merged
adangel merged 1 commit intopmd:mainfrom
adangel:update-pmd-7.12.0
Mar 28, 2025
Merged

Bump PMD from 7.11.0 to 7.12.0#264
adangel merged 1 commit intopmd:mainfrom
adangel:update-pmd-7.12.0

Conversation

@adangel
Copy link
Copy Markdown
Member

@adangel adangel commented Mar 28, 2025

No description provided.

@adangel adangel added the dependencies Pull requests that update a dependency file label Mar 28, 2025
@adangel adangel added this to the 7.12.0 milestone Mar 28, 2025
@adangel adangel merged commit 4f2271f into pmd:main Mar 28, 2025
6 checks passed
@adangel adangel deleted the update-pmd-7.12.0 branch March 28, 2025 09:15
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