Follow AGENTS.md.
Before opening or updating a PR, verify:
- Non-doc-only changes have directional tests.
- Native
scalafmtor the sbt scalafmt tasks were run for changed Scala/SBT files, or the missing tool is recorded inTests. sbt javafmtAllwas run with JDK 17 when relevant.sbt headerCreateAllwas run.- Binary compatibility is preserved, and the GitHub
Check / Binary Compatibilityjob passes before merge. sbt +mimaReportBinaryIssueswas run for public API, binary shape, serialization, or MiMa-sensitive internal changes.- Commit messages follow the
AGENTS.mdformat. - PR bodies follow the
AGENTS.mdformat. TestsandReferencesare present.