Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[doc] Add bld PMD Extension to Tools / Integrations #4669

Merged
merged 1 commit into from Oct 20, 2023
Merged

[doc] Add bld PMD Extension to Tools / Integrations #4669

merged 1 commit into from Oct 20, 2023

Conversation

adangel
Copy link
Member

@adangel adangel commented Sep 9, 2023

Describe the PR

Related issues

  • Fixes #

Ready?

  • Added unit tests for fixed bug/feature
  • Passing all unit tests
  • Complete build ./mvnw clean verify passes (checked automatically by github actions)
  • Added (in-code) documentation (if needed)

@adangel adangel added the in:documentation Affects the documentation label Sep 9, 2023
@adangel adangel added this to the 7.0.0 milestone Sep 9, 2023
@pmd-test
Copy link

pmd-test commented Sep 9, 2023

1 Message
📖 No regression tested rules have been changed.

Generated by 🚫 Danger

@jsotuyod jsotuyod merged commit ef57fb6 into pmd:master Oct 20, 2023
3 checks passed
@adangel adangel deleted the doc-bld-tool branch October 20, 2023 08:46
adangel added a commit that referenced this pull request Oct 20, 2023
@adangel
[doc] Update release notes (#3175, #4659, #4669, #4723, #4640)
bc005a2
@adangel adangel mentioned this pull request Nov 10, 2023
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
in:documentation Affects the documentation
Projects
None yet
Milestone
7.0.0
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@adangel @pmd-test @jsotuyod