Skip to content

chore: bump org.checkerframework:checker-qual from 4.3.0 to 4.3.1 - #349

Merged
n1ght3r merged 1 commit into
mainfrom
dependabot/gradle/org.checkerframework-checker-qual-4.3.1
Oct 17, 2026
Merged

n1ght3r merged 1 commit into
mainfrom
dependabot/gradle/org.checkerframework-checker-qual-4.3.1

Conversation

@dependabot

@dependabot dependabot Bot commented on behalf of github Oct 13, 2026

Copy link
Copy Markdown
Contributor

Bumps org.checkerframework:checker-qual from 4.3.0 to 4.3.1.

Release notes

Sourced from org.checkerframework:checker-qual's releases.

Checker Framework 4.3.1

Version 4.3.1 (2026-10-08)

Closed issues

#8325.

Changelog

Sourced from org.checkerframework:checker-qual's changelog.

Version 4.3.1 (2026-10-08)

Closed issues

#8325.

Commits
  • 8987859 new release 4.3.1
  • 8f6281c Prep for release.
  • cd777e5 Test case for issue #8325 (#8326)
  • 0091b16 Suppress JDK 27 "removal" warnings for SourcePositions methods (#8318)
  • 4b4b053 Update cimg/base Docker tag to v2026.10 (#8313)
  • 31c0700 Nullness: handle nullable results in typeinference8 (#8311)
  • c456c70 Nullness: fix initialization errors in typeinference8 (#8310)
  • 19e755b Nullness: access bound maps in typeinference8 through accessors (#8306)
  • 338df42 Nullness: fix KeyFor and method-reference errors in typeinference8 (#8309)
  • 6c07868 Nullness: annotate typeinference8 parameters and fields that may be null (#8307)
  • Additional commits viewable in compare view

Dependabot compatibility score

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.


Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

  • @dependabot rebase will rebase this PR
  • @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
  • @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
  • @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
  • @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
  • @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)

Bumps [org.checkerframework:checker-qual](https://github.com/typetools/checker-framework) from 4.3.0 to 4.3.1.
- [Release notes](https://github.com/typetools/checker-framework/releases)
- [Changelog](https://github.com/typetools/checker-framework/blob/master/docs/CHANGELOG.md)
- [Commits](typetools/checker-framework@checker-framework-4.3.0...checker-framework-4.3.1)

---
updated-dependencies:
- dependency-name: org.checkerframework:checker-qual
  dependency-version: 4.3.1
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
@dependabot dependabot Bot added dependencies Pull requests that update a dependency file java Pull requests that update java code labels Oct 13, 2026
@dependabot @github

dependabot Bot commented on behalf of github Oct 13, 2026

Copy link
Copy Markdown
Contributor Author

Assignees

The following users could not be added as assignees: Nighterezi. Either the username does not exist or it does not have the correct permissions to be added as an assignee.

Please fix the above issues or remove invalid values from dependabot.yml.

@n1ght3r
n1ght3r merged commit 6b3be4a into main Oct 17, 2026
1 check passed
@dependabot
dependabot Bot deleted the dependabot/gradle/org.checkerframework-checker-qual-4.3.1 branch October 17, 2026 02:23
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.

1 participant