chore(main): release 4.0.0
:robot: I have created a release beep boop
4.0.0 (2025-11-25)
⚠ BREAKING CHANGES
Miscellaneous Chores
This PR was generated with Release Please. See documentation.
Merge-on-green attempted to merge your PR for 6 hours, but it was not mergeable because either one of your required status checks failed, one of your required reviews was not approved, or there is a do not merge label. Learn more about your required status checks here: https://help.github.com/en/github/administering-a-repository/enabling-required-status-checks. You can remove and reapply the label to re-run the bot.
There's a recurrent flaky test that is somewhat concerning — see #717 for context. It's possible that we should fix that first before releasing a new major just to be sure.