Orchard v0.37.1

What's Changed

• [ci] Use latest images by @alexander-yakushev in #357
• [ci] Test against JDK25 by @alexander-yakushev in #358
• [print] Protect printing from broken eductions by @alexander-yakushev in #359
• [pp] Print short record names by default by @alexander-yakushev in #360

Full Changelog: v0.37.0...v0.37.1