Skip to content

fix(deps): update dependency org.checkerframework:checker-qual to v3.51.1 (release/4.0.x)#10636

Merged
renovate[bot] merged 1 commit intorelease/4.0.xfrom
renovate/release/4.0.x-patch-checker-qual.version
Oct 1, 2025
Merged

fix(deps): update dependency org.checkerframework:checker-qual to v3.51.1 (release/4.0.x)#10636
renovate[bot] merged 1 commit intorelease/4.0.xfrom
renovate/release/4.0.x-patch-checker-qual.version

Conversation

@renovate
Copy link
Copy Markdown
Contributor

@renovate renovate bot commented Oct 1, 2025

Note

Mend has cancelled the proposed renaming of the Renovate GitHub app being renamed to mend[bot].

This notice will be removed on 2025-10-07.


This PR contains the following updates:

Package Change Age Confidence
org.checkerframework:checker-qual (source) 3.51.0 -> 3.51.1 age confidence

Configuration

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

🚦 Automerge: Enabled.

Rebasing: Whenever PR is behind base branch, 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 requested a review from a team as a code owner October 1, 2025 21:29
@renovate renovate bot added dependencies Pull requests that update a dependency file java Pull requests that update Java code labels Oct 1, 2025
@renovate renovate bot enabled auto-merge (squash) October 1, 2025 21:29
@github-actions github-actions bot added this to the 4.0.17 milestone Oct 1, 2025
@sonarqubecloud
Copy link
Copy Markdown

sonarqubecloud bot commented Oct 1, 2025

@renovate renovate bot merged commit 5404b1c into release/4.0.x Oct 1, 2025
19 of 20 checks passed
@renovate renovate bot deleted the renovate/release/4.0.x-patch-checker-qual.version branch October 1, 2025 21:40
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 java Pull requests that update Java code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

0 participants