Message-ID: From: "renovate-bot (@renovate-bot)" To: "pgjdbc/pgjdbc" Date: Mon, 25 May 2026 14:24:20 +0000 Subject: [pgjdbc/pgjdbc] PR #4104: fix(deps): update checkerframework to v4 - autoclosed List-Id: X-GitHub-Author-Id: 25180681 X-GitHub-Author-Login: renovate-bot X-GitHub-Issue: 4104 X-GitHub-Labels: dependencies X-GitHub-Repo: pgjdbc/pgjdbc X-GitHub-State: closed X-GitHub-Type: pull_request X-GitHub-Url: https://github.com/pgjdbc/pgjdbc/pull/4104 Content-Type: text/plain; charset=utf-8 This PR contains the following updates: | Package | Change | [Age](https://docs.renovatebot.com/merge-confidence/) | [Confidence](https://docs.renovatebot.com/merge-confidence/) | |---|---|---|---| | [org.checkerframework:checker-qual](https://checkerframework.org/) ([source](https://redirect.github.com/typetools/checker-framework)) | `3.55.1` → `4.1.0` | ![age](https://developer.mend.io/api/mc/badges/age/maven/org.checkerframework:checker-qual/4.1.0?slim=true) | ![confidence](https://developer.mend.io/api/mc/badges/confidence/maven/org.checkerframework:checker-qual/3.55.1/4.1.0?slim=true) | | [org.checkerframework:checker](https://checkerframework.org/) ([source](https://redirect.github.com/typetools/checker-framework)) | `3.55.1` → `4.1.0` | ![age](https://developer.mend.io/api/mc/badges/age/maven/org.checkerframework:checker/4.1.0?slim=true) | ![confidence](https://developer.mend.io/api/mc/badges/confidence/maven/org.checkerframework:checker/3.55.1/4.1.0?slim=true) | --- ### Configuration 📅 **Schedule**: (UTC) - Branch creation - "every 3 weeks on Monday" - 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 these updates again. --- - [ ] If you want to rebase/retry this PR, check this box --- This PR was generated by [Mend Renovate](https://mend.io/renovate/). View the [repository job log](https://developer.mend.io/github/pgjdbc/pgjdbc).