Skip to content

chore(deps): java#377

Merged
xenoterracide merged 1 commit intodevelopfrom
deps/update-java
Feb 4, 2026
Merged

chore(deps): java#377
xenoterracide merged 1 commit intodevelopfrom
deps/update-java

Conversation

@xenoterracide
Copy link
Owner

Automated changes by create-pull-request GitHub action

Copilot AI review requested due to automatic review settings February 4, 2026 03:50
@xenoterracide xenoterracide enabled auto-merge (squash) February 4, 2026 03:50
@xenoterracide xenoterracide merged commit 99c0873 into develop Feb 4, 2026
10 checks passed
@xenoterracide xenoterracide deleted the deps/update-java branch February 4, 2026 03:52
Copy link
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This PR updates the Gradle dependency lockfile for the module/tools subproject, specifically updating the org.checkerframework:checker-qual dependency resolution.

Changes:

  • Split checker-qual dependency into two versions: 3.53.0 for annotation processors and 3.53.1 for compile/test classpaths

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant