gh-133403: Type Tools/build/update_file.py and check it with mypy
#170521
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
require-pr-label.yml
on: pull_request
DO-NOT-MERGE
2s
Unresolved review
4s
Annotations
1 warning
|
Unresolved review
Label error. Requires exactly 1 of: type-feature. Found: awaiting merge, skip news
|