Skip to content

Conversation

@github-actions
Copy link

  • Update mypy script with --warn-unused-ignores

  • Add doc information
    (cherry picked from commit 1d7e0ae)

Co-authored-by: GPK gopidesupavan@gmail.com

* Update mypy script with --warn-unused-ignores

* Add doc information
(cherry picked from commit 1d7e0ae)

Co-authored-by: GPK <gopidesupavan@gmail.com>
@boring-cyborg boring-cyborg bot added area:dev-tools backport-to-v3-1-test Mark PR with this label to backport to v3-1-test branch labels Jul 12, 2025
@potiuk potiuk marked this pull request as ready for review July 12, 2025 18:51
@potiuk potiuk merged commit bafddb8 into v3-0-test Jul 12, 2025
7 checks passed
@potiuk potiuk deleted the backport-1d7e0ae-v3-0-test branch July 12, 2025 18:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area:dev-tools backport-to-v3-1-test Mark PR with this label to backport to v3-1-test branch

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants