Bump com.uber.nullaway:nullaway from 0.13.0 to 0.13.1

[dependabot]

Bumps com.uber.nullaway:nullaway from 0.13.0 to 0.13.1.

Release notes

Sourced from com.uber.nullaway:nullaway's releases.

NullAway 0.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)

Changelog

Sourced from com.uber.nullaway:nullaway's changelog.

Version 0.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)

Commits

• cc9dab8 Prepare for release 0.13.1.
• 99025e4 Changelog for release 0.13.1 (#1449)
• b27f13d Better support for some contracts with boolean argument constraints (#1447)
• 4c619e8 Add junit-framework as another integration test (#1446)
• c27f3f4 Substitute inferred @NonNull types for generic method inference (#1445)
• fc6d956 Improve verification of !null -> !null contracts (#1441)
• 7f8bbca Prepare next development version.
• See full diff in compare view

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)

[github-actions]

☀️   Quality Monitor

Tests

     Unit Tests (Whole Project): 100.00% successful (86 passed, 2 skipped)
   ⛔   Architecture Tests (Whole Project): 100.00% successful (17 passed, 2 skipped)

Coverage for New Code

   〰️   Line Coverage (Changed Code): n/a (0 missed lines)
   ➰   Branch Coverage (Changed Code): n/a (0 missed branches)
     Mutation Coverage (Changed Code): n/a (0 survived mutations)
   💪   Test Strength (Changed Code): n/a (0 survived mutations in tested code)

Coverage for Whole Project

   〰️   Line Coverage (Whole Project): 91.22% (64 missed lines)
   ➰   Branch Coverage (Whole Project): 90.45% (21 missed branches)
     Mutation Coverage (Whole Project): 84.38% (60 survived mutations)
   💪   Test Strength (Whole Project): 89.26% (39 survived mutations in tested code)

Style

     CheckStyle (Whole Project): No warnings
     PMD (Whole Project): No warnings
   ☕   Java Compiler (Whole Project): No warnings

Bugs

     SpotBugs (Whole Project): No bugs
   🐛   Error Prone (Whole Project): No bugs

API Problems

   🚫   Revapi (Whole Project): No warnings

Vulnerabilities

   🛡️   OWASP Dependency Check (Whole Project): No vulnerabilities

Software Metrics

   🌀   Cyclomatic Complexity (Whole Project): 377 (total)
   💭   Cognitive Complexity (Whole Project): 174 (total)
   ➿   N-Path Complexity (Whole Project): 341 (total)
   📏   Lines of Code (Whole Project): 4282 (total)
   📝   Non Commenting Source Statements (Whole Project): 1261 (total)
   🔗   Class Cohesion (Whole Project): 71.43% (maximum)
   ⚖️   Weight of Class (Whole Project): 100.00% (maximum)

🚦 Quality Gates

Overall Status: ✅ SUCCESS

✅ Passed Gates

• ✅ Overall Tests Success Rate: 100.00 >= 100.00
• ✅ Line Coverage in New Code: 100.00 >= 90.00
• ✅ Branch Coverage in New Code: 100.00 >= 90.00
• ✅ Mutation Coverage in New Code: 100.00 >= 90.00
• ✅ Potential Bugs in Whole Project: 0.00 <= 0.00
• ✅ Style Violation in Whole Project: 0.00 <= 0.00

---

Created by Quality Monitor v4.0.0 (#8f591a4). More details are shown in the GitHub Checks Result.