fix(deps): update dependency com.uber.nullaway:nullaway to v0.13.1

[renovate]

This PR contains the following updates:

Package	Change	Age	Confidence
com.uber.nullaway:nullaway	0.13.0 → 0.13.1

---

Release Notes

uber/NullAway (com.uber.nullaway:nullaway)

v0.13.1

• Improve verification of !null -> !null contracts (#​1441)
• Substitute inferred @NonNull types for generic method inference (#​1445)
• Better support for some contracts with boolean argument constraints (#​1447)
• Maintenance
  • Add junit-framework as another integration test (#​1446)

---

Configuration

📅 Schedule: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

♻ Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.

---

• If you want to rebase/retry this PR, check this box

---

This PR was generated by Mend Renovate. View the repository job log.

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 90.17%. Comparing base (c8ba093) to head (a0ccc3c).
⚠️ Report is 3 commits behind head on main.

Additional details and impacted files

@@            Coverage Diff            @@
##               main    #8016   +/-   ##
=========================================
  Coverage     90.17%   90.17%           
  Complexity     7479     7479           
=========================================
  Files           834      834           
  Lines         22540    22540           
  Branches       2236     2236           
=========================================
  Hits          20326    20326           
  Misses         1511     1511           
  Partials        703      703           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.