gh-133403: Type Tools/build/update_file.py and check it with mypy#133404
Merged
The logs for this run have expired and are no longer available.
Loading
Tools/build/update_file.py and check it with mypy#133404