Skip to content

Conversation

@dependabot
Copy link
Contributor

@dependabot dependabot bot commented on behalf of github Jun 9, 2025

Bumps org.checkerframework:checker-qual from 3.49.3 to 3.49.4.

Release notes

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

Checker Framework 3.49.4

Version 3.49.4 (June 2, 2025)

Closed issues:

#6740, #7013, #7038, #7070, #7082.

Changelog

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

Version 3.49.4 (July 1, 2025)

User-visible changes:

Implementation details:

Closed issues:

Version 3.49.4 (June 2, 2025)

Closed issues:

#6740, #7013, #7038, #7070, #7082.

Commits
  • f5862bf new release 3.49.4
  • 3ed01cd Prep for release.
  • f6e7944 Update dependency com.amazonaws:aws-java-sdk-bom to v1.12.783 (#7086)
  • 849be69 Update plugin com.diffplug.spotless to v7.0.4 (#7085)
  • 42a6f36 Add a test for Map.merge()
  • 351fd30 Update dependency gradle to v8.14.1 (#7081)
  • 74f3a5a More projects for new contributors
  • 7c55651 Fix typo
  • 50fc43f Javadoc fixes
  • c48800f Correct the way explicit annotations are handled in type argument inference
  • Additional commits viewable in compare view

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 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)

@dependabot dependabot bot added dependabot dependencies Pull requests that update a dependency file patch labels Jun 9, 2025
@dependabot dependabot bot added the dependabot label Jun 9, 2025
@codecov
Copy link

codecov bot commented Jun 9, 2025

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 72.19%. Comparing base (6444856) to head (d82d18d).
Report is 1 commits behind head on main.

Additional details and impacted files

Impacted file tree graph

@@            Coverage Diff             @@
##             main    #5381      +/-   ##
==========================================
+ Coverage   72.16%   72.19%   +0.02%     
==========================================
  Files         382      382              
  Lines       23697    23697              
  Branches     3644     3644              
==========================================
+ Hits        17102    17107       +5     
+ Misses       4795     4792       -3     
+ Partials     1800     1798       -2     

see 4 files with indirect coverage changes

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
  • 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.

cwperks
cwperks previously approved these changes Jun 9, 2025
RyanL1997
RyanL1997 previously approved these changes Jun 9, 2025
DarshitChanpura
DarshitChanpura previously approved these changes Jun 9, 2025
@cwperks
Copy link
Member

cwperks commented Jun 9, 2025

@dependabot rebase

@dependabot @github
Copy link
Contributor Author

dependabot bot commented on behalf of github Jun 9, 2025

Looks like this PR has been edited by someone other than Dependabot. That means Dependabot can't rebase it - sorry!

If you're happy for Dependabot to recreate it from scratch, overwriting any edits, you can request @dependabot recreate.

@cwperks
Copy link
Member

cwperks commented Jun 9, 2025

@dependabot recreate

Bumps [org.checkerframework:checker-qual](https://github.com/typetools/checker-framework) from 3.49.3 to 3.49.4.
- [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.49.3...checker-framework-3.49.4)

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

Signed-off-by: dependabot[bot] <[email protected]>
@dependabot dependabot bot dismissed stale reviews from DarshitChanpura, RyanL1997, and cwperks via e6fa7fc June 9, 2025 18:14
@dependabot dependabot bot force-pushed the dependabot/gradle/org.checkerframework-checker-qual-3.49.4 branch from 1b313c2 to e6fa7fc Compare June 9, 2025 18:14
Signed-off-by: dependabot[bot] <[email protected]>
@willyborankin willyborankin merged commit 413d6b9 into main Jun 9, 2025
79 of 80 checks passed
@willyborankin willyborankin deleted the dependabot/gradle/org.checkerframework-checker-qual-3.49.4 branch June 9, 2025 19:01
@opensearch-trigger-bot
Copy link
Contributor

The backport to 2.x failed:

The process '/usr/bin/git' failed with exit code 128

To backport manually, run these commands in your terminal:

# Navigate to the root of your repository
cd $(git rev-parse --show-toplevel)
# Fetch latest updates from GitHub
git fetch
# Create a new working tree
git worktree add ../.worktrees/security/backport-2.x 2.x
# Navigate to the new working tree
pushd ../.worktrees/security/backport-2.x
# Create a new branch
git switch --create backport/backport-5381-to-2.x
# Cherry-pick the merged commit of this pull request and resolve the conflicts
git cherry-pick -x --mainline 1 413d6b91cedbd0176bc8cf5576402920e17f1c2b
# Push it to GitHub
git push --set-upstream origin backport/backport-5381-to-2.x
# Go back to the original working tree
popd
# Delete the working tree
git worktree remove ../.worktrees/security/backport-2.x

Then, create a pull request where the base branch is 2.x and the compare/head branch is backport/backport-5381-to-2.x.

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

Labels

backport-failed dependabot dependencies Pull requests that update a dependency file patch

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants