Skip to content

Conversation

@wojcik91
Copy link
Contributor

Update protos

@wojcik91 wojcik91 self-assigned this Sep 10, 2025
@wojcik91 wojcik91 added the ignore-for-release Don't list PR in release notes label Sep 10, 2025
@wojcik91 wojcik91 merged commit 510951d into release/1.5-alpha Sep 10, 2025
3 checks passed
@wojcik91 wojcik91 deleted the pre_release_1.5_cleanup_pt2 branch September 10, 2025 08:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ignore-for-release Don't list PR in release notes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants