Skip to content

Update dependency org.jenkins-ci.plugins:ant to v520#11205

Merged
MarkEWaite merged 1 commit intomasterfrom
renovate/org.jenkins-ci.plugins-ant-520.x
Oct 21, 2025
Merged

Update dependency org.jenkins-ci.plugins:ant to v520#11205
MarkEWaite merged 1 commit intomasterfrom
renovate/org.jenkins-ci.plugins-ant-520.x

Conversation

@renovate
Copy link
Contributor

@renovate renovate bot commented Oct 15, 2025

This PR contains the following updates:

Package Change Age Confidence
org.jenkins-ci.plugins:ant 518.v8d8dc7945eca_ -> 520.vd082ecfb_16a_9 age confidence

Release Notes

jenkinsci/ant-plugin (org.jenkins-ci.plugins:ant)

v520.vd082ecfb_16a_9

Compare Source

👷 Changes for plugin developers


Configuration

📅 Schedule: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.


  • If you want to rebase/retry this PR, check this box

This PR was generated by Mend Renovate. View the repository job log.

@renovate renovate bot added dependencies Pull requests that update a dependency file skip-changelog Should not be shown in the changelog labels Oct 15, 2025
@renovate renovate bot force-pushed the renovate/org.jenkins-ci.plugins-ant-520.x branch from e80856d to b501778 Compare October 20, 2025 14:24
Copy link
Contributor

@MarkEWaite MarkEWaite left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This PR is now ready for merge. We will merge it after approximately 24 hours if there is no negative feedback.

/label ready-for-merge

@comment-ops-bot comment-ops-bot bot added the ready-for-merge The PR is ready to go, and it will be merged soon if there is no negative feedback label Oct 20, 2025
@MarkEWaite MarkEWaite merged commit 5176dd1 into master Oct 21, 2025
19 checks passed
@MarkEWaite MarkEWaite deleted the renovate/org.jenkins-ci.plugins-ant-520.x branch October 21, 2025 01:24
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 ready-for-merge The PR is ready to go, and it will be merged soon if there is no negative feedback skip-changelog Should not be shown in the changelog

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant