Walkthrough

This pull request updates two documentation files. AGENTS.md receives a new Changelog section that includes formatting guidelines for PR references, contributor credits, and sub-bullet styling under maintenance sections. CHANGELOG.md is updated with a new Version 0.13.1 entry documenting four items: improvements to null contract verification, generic method type inference handling, boolean argument constraint support, and a junit-framework integration test addition.

Possibly related PRs

• NullAway#1352: Modifies the same AGENTS.md documentation file that this PR extends with changelog formatting guidelines

Suggested reviewers

• yuxincs

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

_{Comment @coderabbitai help to get the list of available commands and usage tips.}

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 88.41%. Comparing base (b27f13d) to head (a4db20f).
⚠️ Report is 1 commits behind head on master.

@@            Coverage Diff            @@
##             master    #1449   +/-   ##
=========================================
  Coverage     88.41%   88.41%           
  Complexity     2714     2714           
=========================================
  Files            99       99           
  Lines          9015     9015           
  Branches       1801     1801           
=========================================
  Hits           7971     7971           
  Misses          517      517           
  Partials        527      527           

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