More specific type hints for batched(..., strict=True)
#14396
| Job | Run time |
|---|---|
| 38s | |
| 42s | |
| 1m 17s | |
| 50s | |
| 1m 27s | |
| 40s | |
| 1m 19s | |
| 1m 10s | |
| 31s | |
| 30s | |
| 45s | |
| 1m 1s | |
| 1m 22s | |
| 40s | |
| 41s | |
| 1m 15s | |
| 50s | |
| 1m 22s | |
| 17m 0s |