Skip to content

Conversation

@dependabot
Copy link
Contributor

@dependabot dependabot bot commented on behalf of github Jan 6, 2026

Bumps org.checkerframework:checker-qual from 3.52.1 to 3.53.0.

Release notes

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

Checker Framework 3.53.0

Version 3.53.0 (2026-01-06)

Implementation details

In AbstractAnalysis, added getStoreBefore(Tree), getStoreBefore(Node), getStoreAfter(Tree), and getStoreAfter(Node).

In GenericAnnotatedTypeFactory, removed getStoreBefore(Set<Node>) and getStoreAfter(Set<Node>).

Closed issues

#2358.

Changelog

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

Version 3.53.0 (2026-01-06)

Implementation details

In AbstractAnalysis, added getStoreBefore(Tree), getStoreBefore(Node), getStoreAfter(Tree), and getStoreAfter(Node).

In GenericAnnotatedTypeFactory, removed getStoreBefore(Set<Node>) and getStoreAfter(Set<Node>).

Closed issues

#2358.

Commits
  • 7f95ba2 new release 3.53.0
  • 66d2d16 Prep for release.
  • 11643b3 Update dependency com.amazonaws:aws-java-sdk-bom to v1.12.797 (#7431)
  • f3ea347 Update cimg/base Docker tag to v2026 (#7432)
  • 3a80dcf Update plugin biz-aqute-bnd-builder to v7.2.0 (#7427)
  • 453cc86 Add methods to AbstractAnalysis to compute stores before and after Trees ...
  • 7bdb4da No timestamp in API documentation
  • f976a6b Update dependency org.ow2.asm:asm to v9.9.1 (#7421)
  • 881ee5c Improve documentation about defaults
  • e2442e3 Improve Python style
  • Additional commits viewable in compare view

Dependabot compatibility score

You can trigger a rebase of this PR 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 merge will merge this PR after your CI passes on it
  • @dependabot squash and merge will squash and merge this PR after your CI passes on it
  • @dependabot cancel merge will cancel a previously requested merge and block automerging
  • @dependabot reopen will reopen this PR if it is closed
  • @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
  • @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 3.52.1 to 3.53.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-3.52.1...checker-framework-3.53.0)

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

Signed-off-by: dependabot[bot] <[email protected]>
@dependabot dependabot bot added the area/dependencies Pull requests that update a dependency file label Jan 6, 2026
@quarkus-bot
Copy link

quarkus-bot bot commented Jan 6, 2026

Thanks for your pull request!

Your pull request does not follow our editorial rules. Could you have a look?

  • title should preferably start with an uppercase character (if it makes sense!)

This message is automatically generated by a bot.

@quarkus-bot
Copy link

quarkus-bot bot commented Jan 7, 2026

Status for workflow Quarkus CI

This is the status report for running Quarkus CI on commit c2d9aaf.

Failing Jobs

Status Name Step Failures Logs Raw logs Build scan
Native Tests - AWT, ImageIO and Java2D, Packaging .dll files (Windows) Setup GraalVM ⚠️ Check → Logs Raw logs 🚧
Native Tests - Windows support Setup GraalVM ⚠️ Check → Logs Raw logs 🚧

You can consult the Develocity build scans.


Flaky tests - Develocity

⚙️ JVM Tests - JDK 17 Windows

📦 extensions/micrometer-opentelemetry/deployment

io.quarkus.micrometer.opentelemetry.deployment.compatibility.MicrometerTimedInterceptorTest.testTimeMethod_Failed - History

  • Expected metrics data to contain a single point, none found - org.opentest4j.AssertionFailedError
Details
org.opentest4j.AssertionFailedError: Expected metrics data to contain a single point, none found
	at org.junit.jupiter.api.AssertionUtils.fail(AssertionUtils.java:42)
	at org.junit.jupiter.api.Assertions.fail(Assertions.java:143)
	at io.quarkus.micrometer.opentelemetry.deployment.common.MetricDataFilter.lastReadingDataPoint(MetricDataFilter.java:237)
	at io.quarkus.micrometer.opentelemetry.deployment.compatibility.MicrometerTimedInterceptorTest.testTimeMethod_Failed(MicrometerTimedInterceptorTest.java:99)

@gsmet gsmet merged commit e8e50cc into main Jan 7, 2026
63 of 65 checks passed
@quarkus-bot quarkus-bot bot added this to the 3.31 - main milestone Jan 7, 2026
@dependabot dependabot bot deleted the dependabot/maven/main/org.checkerframework-checker-qual-3.53.0 branch January 7, 2026 08:50
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.

2 participants