[3.14] gh-133403: Run mypy on Tools/build/mypy.ini changes (GH-137692)
#196114
require-pr-label.yml
on: pull_request
DO-NOT-MERGE
4s
Unresolved review
4s
Annotations
1 warning
|
Unresolved review
Label error. Requires exactly 1 of: type-feature. Found: awaiting merge, skip news
|