Skip to content

fix(deps): update dependency org.checkerframework:checker-qual to v3.49.4 (release/4.2.x)#4813

Merged
joschi merged 1 commit intorelease/4.2.xfrom
renovate/release/4.2.x-org.checkerframework-checker-qual-3.49.x
Jun 4, 2025
Merged

fix(deps): update dependency org.checkerframework:checker-qual to v3.49.4 (release/4.2.x)#4813
joschi merged 1 commit intorelease/4.2.xfrom
renovate/release/4.2.x-org.checkerframework-checker-qual-3.49.x

Conversation

@renovate
Copy link
Copy Markdown
Contributor

@renovate renovate bot commented Jun 4, 2025

This PR contains the following updates:

Package Change Age Adoption Passing Confidence
org.checkerframework:checker-qual (source) 3.49.3 -> 3.49.4 age adoption passing confidence

Configuration

📅 Schedule: Branch creation - Between 12:00 AM and 03:59 AM, only on Monday ( * 0-3 * * 1 ) (UTC), Automerge - Between 12:00 AM and 03:59 AM, only on Monday ( * 0-3 * * 1 ) (UTC).

🚦 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 added the dependencies Pull requests that update a dependency file label Jun 4, 2025
@renovate renovate bot enabled auto-merge (squash) June 4, 2025 06:41
@renovate renovate bot requested review from a team as code owners June 4, 2025 06:41
@renovate renovate bot added the dependencies Pull requests that update a dependency file label Jun 4, 2025
@sonarqubecloud
Copy link
Copy Markdown

sonarqubecloud bot commented Jun 4, 2025

@joschi joschi disabled auto-merge June 4, 2025 09:34
@joschi joschi merged commit db70c9d into release/4.2.x Jun 4, 2025
10 of 12 checks passed
@joschi joschi deleted the renovate/release/4.2.x-org.checkerframework-checker-qual-3.49.x branch June 4, 2025 09:34
@joschi joschi added this to the 4.2.33 milestone Jun 4, 2025
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