Skip to content

Conversation

@RazvanLiviuVarzaru
Copy link
Collaborator

Prep step for migrating other builders to master-migration

Prep step for migrating other builders to `master-migration`
Copy link
Member

@grooverdan grooverdan left a comment

Choose a reason for hiding this comment

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

minor improvements, otherwise ok.

@RazvanLiviuVarzaru
Copy link
Collaborator Author

Thanks a lot for the review, @grooverdan ! Good comments.
I addressed the review changes in aa8f326

About pyright, It looks nice, I tried it on the options.py file.
There's a lot to fix in the whole codebase so I am thinking to integrate pyright in a separate pull request.

@RazvanLiviuVarzaru RazvanLiviuVarzaru merged commit 525c269 into MariaDB:dev Dec 2, 2025
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants