Skip to content

Conversation

@marioprats
Copy link

@marioprats marioprats commented Dec 19, 2025

@marioprats marioprats marked this pull request as ready for review December 22, 2025 11:25
@marioprats
Copy link
Author

CI passing after merging the corresponding changes in Pro.
Merging in.

@marioprats marioprats merged commit 7557719 into main Dec 22, 2025
5 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants