Skip to content

build(deps): bump org.checkerframework:checker-qual from 4.0.0 to 4.1.0#8598

Merged
pethers merged 1 commit into
masterfrom
dependabot/maven/org.checkerframework-checker-qual-4.1.0
May 2, 2026
Merged

build(deps): bump org.checkerframework:checker-qual from 4.0.0 to 4.1.0#8598
pethers merged 1 commit into
masterfrom
dependabot/maven/org.checkerframework-checker-qual-4.1.0

Conversation

@dependabot
Copy link
Copy Markdown
Contributor

@dependabot dependabot Bot commented on behalf of github May 2, 2026

Bumps org.checkerframework:checker-qual from 4.0.0 to 4.1.0.

Release notes

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

Checker Framework 4.1.0

Version 4.1.0 (2026-05-01)

User-visible changes

Removed deprecated script checker/bin-devel/build.sh; use ./gradlew assemble instead.

Removed deprecated names "builder", "object.construction", and "objectconstruction" for the Called Methods Checker.

Implementation details

New method annotation @DoesNotUnrefineReceiver.

In AnnotatedTypeFactory:

  • new method hasDoesNotUnrefineReceiver().
  • isAliasedTypeAnnotation() is now protected rather than public.

Closed issues

#6890, #7364, #7488.

Changelog

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

Version 4.1.0 (2026-05-01)

User-visible changes

Removed deprecated script checker/bin-devel/build.sh; use ./gradlew assemble instead.

Removed deprecated names "builder", "object.construction", and "objectconstruction" for the Called Methods Checker.

Implementation details

New method annotation @DoesNotUnrefineReceiver.

In AnnotatedTypeFactory:

  • new method hasDoesNotUnrefineReceiver().
  • isAliasedTypeAnnotation() is now protected rather than public.

Closed issues

#6890, #7364, #7488.

Commits

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.0.0 to 4.1.0.
- [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.0.0...checker-framework-4.1.0)

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

Signed-off-by: dependabot[bot] <support@github.com>
@dependabot dependabot Bot added dependencies java Pull requests that update Java code labels May 2, 2026
Copilot AI review requested due to automatic review settings May 2, 2026 09:40
@dependabot dependabot Bot requested a review from pethers as a code owner May 2, 2026 09:40
@dependabot dependabot Bot review requested due to automatic review settings May 2, 2026 09:40
@dependabot dependabot Bot added dependencies java Pull requests that update Java code labels May 2, 2026
@github-actions
Copy link
Copy Markdown

github-actions Bot commented May 2, 2026

Dependency Review

The following issues were found:
  • ✅ 0 vulnerable package(s)
  • ✅ 0 package(s) with incompatible licenses
  • ✅ 0 package(s) with invalid SPDX license definitions
  • ⚠️ 2 package(s) with unknown licenses.
See the Details below.

Snapshot Warnings

⚠️: No snapshots were found for the head SHA b814bbd.
Ensure that dependencies are being submitted on PR branches and consider enabling retry-on-snapshot-warnings. See the documentation for more information and troubleshooting advice.

License Issues

jms-broker/pom.xml

PackageVersionLicenseIssue Type
org.checkerframework:checker-qual4.1.0NullUnknown License

service.data.impl/pom.xml

PackageVersionLicenseIssue Type
org.checkerframework:checker-qual4.1.0NullUnknown License

OpenSSF Scorecard

PackageVersionScoreDetails
maven/org.checkerframework:checker-qual 4.1.0 UnknownUnknown
maven/org.checkerframework:checker-qual 4.1.0 UnknownUnknown

Scanned Files

  • jms-broker/pom.xml
  • service.data.impl/pom.xml

@sonarqubecloud
Copy link
Copy Markdown

sonarqubecloud Bot commented May 2, 2026

@github-actions
Copy link
Copy Markdown

github-actions Bot commented May 2, 2026

📚 Javadoc Generated

The Javadoc documentation has been generated for this PR. Download the javadoc artifact from the workflow run to view the complete API documentation with UML diagrams.

@pethers pethers merged commit b39fa17 into master May 2, 2026
9 checks passed
@pethers pethers deleted the dependabot/maven/org.checkerframework-checker-qual-4.1.0 branch May 2, 2026 10:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies java Pull requests that update Java code size/XS

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant