Skip to content

chore(deps): bump org.checkerframework:checker from 3.55.1 to 4.0.0#114

Merged
github-actions[bot] merged 1 commit intomainfrom
dependabot/maven/org.checkerframework-checker-4.0.0
Apr 8, 2026
Merged

chore(deps): bump org.checkerframework:checker from 3.55.1 to 4.0.0#114
github-actions[bot] merged 1 commit intomainfrom
dependabot/maven/org.checkerframework-checker-4.0.0

Commits

Commits on Apr 8, 2026