`v25` tag has not been updated

[EndBug]

The current v25 tag points to v25.0.0 instead of v25.1.0. A solution would be to add an action that updates the major version tag automatically.