gh-133403: Check Tools/build/generate-build-details.py with mypy
#172452
| Job | Run time |
|---|---|
| 3s | |
| 3s | |
| 6s |
Tools/build/generate-build-details.py with mypy
#172452
| Job | Run time |
|---|---|
| 3s | |
| 3s | |
| 6s |