chore: release v0.25.1

[github-actions]

🤖 New release

• differential-dataflow: 0.25.0 -> 0.25.1 (✓ API compatible changes)
• differential-dogs3: 0.25.0 -> 0.25.1

Changelog

differential-dataflow

0.25.1 - 2026-07-15

Other

• assert arriving batches span neither preload nor acknowledged
• Restore strongly_connected_at; add prioritized SCC regression tests
• process in-flight batches overtaken by advance_upper

differential-dogs3

0.25.0 - 2026-07-15

Changed

• Track differential-dataflow 0.25: layout moves onto the Cursor and navigation becomes an optional capability. (#772)

Fixed

• lookup_map: correct an off-by-one in key-container indexing (index(1) -> index(0)). (#765)

---

This PR was generated with release-plz.