chore(main): release 25.7.2#2948

github-actions[bot] wants to merge 1 commit intomainrivet-dev/engine:mainfrom

release-please--branches--mainrivet-dev/engine:release-please--branches--mainCopy head branch name to clipboard