Skip to content

chore(deps): bump org.checkerframework:checker-qual from 4.3.0 to 4.3.1 - #49

Merged
github-actions[bot] merged 1 commit into
mainfrom
dependabot/maven/org.checkerframework-checker-qual-4.3.1
Oct 14, 2026
Merged

github-actions[bot] merged 1 commit into
mainfrom
dependabot/maven/org.checkerframework-checker-qual-4.3.1

Conversation

@dependabot

@dependabot dependabot Bot commented on behalf of github Oct 14, 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 dependabot Bot added dependencies Pull requests that update a dependency file java Pull requests that update java code labels Oct 14, 2026
@github-actions
github-actions Bot enabled auto-merge October 14, 2026 04:42
@dependabot
dependabot Bot force-pushed the dependabot/maven/org.checkerframework-checker-qual-4.3.1 branch from 4a947b5 to 5f35d94 Compare October 14, 2026 04:46
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 force-pushed the dependabot/maven/org.checkerframework-checker-qual-4.3.1 branch from 5f35d94 to a54ae3e Compare October 14, 2026 04:51
@github-actions
github-actions Bot merged commit 007db61 into main Oct 14, 2026
2 checks passed
@dependabot
dependabot Bot deleted the dependabot/maven/org.checkerframework-checker-qual-4.3.1 branch October 14, 2026 04:56
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