Skip to content

Conversation

@emdneto
Copy link
Member

@emdneto emdneto commented Mar 11, 2025

No description provided.

Signed-off-by: emdneto <[email protected]>
@emdneto emdneto requested a review from a team as a code owner March 11, 2025 20:54
@emdneto emdneto added the Skip Changelog PRs that do not require a CHANGELOG.md entry label Mar 11, 2025
Copy link
Member

@aabmass aabmass left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you!

@aabmass aabmass enabled auto-merge (squash) March 11, 2025 21:04
@aabmass aabmass merged commit db52193 into main Mar 11, 2025
1421 of 1422 checks passed
@aabmass aabmass deleted the bump-pyright branch March 11, 2025 21:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Skip Changelog PRs that do not require a CHANGELOG.md entry

Projects

None yet

Development

Successfully merging this pull request may close these issues.

9 participants