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.

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

chore(deps): Update dependency org.checkerframework:checker-qual to v3.48.0 #162

Merged
merged 1 commit into from
Oct 6, 2024

Conversation

renovate[bot]
Copy link
Contributor

@renovate renovate bot commented Oct 2, 2024

This PR contains the following updates:

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

Configuration

📅 Schedule: Branch creation - "after 5pm on the 2nd day of the month" (UTC), 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 changed the title chore(deps): Update dependency org.checkerframework:checker-qual to v3.47.0 chore(deps): Update dependency org.checkerframework:checker-qual to v3.48.0 Oct 3, 2024
@renovate renovate bot force-pushed the renovate/checker branch from 9bb4eb2 to 7a84044 Compare October 3, 2024 03:27
@zml2008 zml2008 self-assigned this Oct 6, 2024
@zml2008 zml2008 added this to the 0.2.1 milestone Oct 6, 2024
@zml2008 zml2008 added this pull request to the merge queue Oct 6, 2024
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to a conflict with the base branch Oct 6, 2024
@renovate renovate bot force-pushed the renovate/checker branch from 7a84044 to d7bf11a Compare October 6, 2024 18:23
@zml2008 zml2008 added this pull request to the merge queue Oct 6, 2024
Merged via the queue into master with commit 8701a85 Oct 6, 2024
6 checks passed
@zml2008 zml2008 deleted the renovate/checker branch October 6, 2024 18:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant