Skip to content

Upgrade checker framework to 4.2.1#121

Merged
bernardladenthin merged 1 commit into
mainfrom
claude/maven-deps-audit-77jvfu
Jul 4, 2026
Merged

Upgrade checker framework to 4.2.1#121
bernardladenthin merged 1 commit into
mainfrom
claude/maven-deps-audit-77jvfu

Conversation

@bernardladenthin

Copy link
Copy Markdown
Owner

Summary

  • Bump checker.version from 4.2.0 to 4.2.1 in pom.xml
  • Picks up latest bug fixes and improvements from the Checker Framework

Test plan

  • CI is green on this branch
  • No source code changes; dependency upgrade only

Related issues / PRs

Checklist

  • I have read CONTRIBUTING.md and CODE_OF_CONDUCT.md
  • My commits follow Conventional Commits
  • No security-sensitive changes

https://claude.ai/code/session_01XcMHBw6HJDBHy31c9PWatN

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01XcMHBw6HJDBHy31c9PWatN
@bernardladenthin bernardladenthin merged commit aa2495b into main Jul 4, 2026
9 of 10 checks passed
@bernardladenthin bernardladenthin deleted the claude/maven-deps-audit-77jvfu branch July 4, 2026 16:59
@sonarqubecloud

sonarqubecloud Bot commented Jul 4, 2026

Copy link
Copy Markdown

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.

2 participants