v0.25.3

What's Changed

• ci: run record tests by @danielnorberg in #260
• fix java 17 build by @danielnorberg in #261
• readme: version 0.25.2 by @danielnorberg in #262
• do not use jackson hot-patch version by @danielnorberg in #263

Full Changelog: v0.25.2...v0.25.3