Skip to content

Conversation

@zen-xu
Copy link
Owner

@zen-xu zen-xu commented May 9, 2025

No description provided.

@zen-xu zen-xu enabled auto-merge (squash) May 9, 2025 06:52
@zen-xu zen-xu force-pushed the use-pyright-to-replace-mypy branch from d6355d3 to 62f84e3 Compare May 9, 2025 07:32
@zen-xu zen-xu merged commit a4aa0c8 into main May 9, 2025
2 of 3 checks passed
@zen-xu zen-xu deleted the use-pyright-to-replace-mypy branch May 9, 2025 07:47
@zen-xu zen-xu restored the use-pyright-to-replace-mypy branch May 9, 2025 07:47
zen-xu added a commit that referenced this pull request May 9, 2025
@zen-xu zen-xu deleted the use-pyright-to-replace-mypy branch June 27, 2025 05:58
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.

2 participants