Skip to content

Conversation

@github-actions
Copy link
Contributor

@github-actions github-actions bot commented May 8, 2025

This PR contains version bump.
Auto-generated by Github Action

@github-actions github-actions bot requested a review from a team as a code owner May 8, 2025 15:31
@github-actions github-actions bot requested a review from a team as a code owner May 8, 2025 15:31
@gmarciani gmarciani enabled auto-merge (rebase) May 8, 2025 15:43
@gmarciani gmarciani closed this May 8, 2025
auto-merge was automatically disabled May 8, 2025 15:43

Pull request was closed

@gmarciani gmarciani reopened this May 8, 2025
@gmarciani gmarciani merged commit f482911 into release-3.13 May 8, 2025
22 of 31 checks passed
@gmarciani gmarciani deleted the versionbumprelease-3.133.13.1 branch May 8, 2025 16:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants