Merge pull request #7726 from radarhere/type_hints_ppm #1212
| Job | Run time |
|---|---|
| 17m 35s | |
| 16m 30s | |
| 4m 36s | |
| 4m 34s | |
| 5m 2s | |
| 7m 22s | |
| 5m 12s | |
| 3m 58s | |
| 15m 57s | |
| 8m 55s | |
| 9m 30s | |
| 8m 41s | |
| 8m 40s | |
| 9m 10s | |
| 9m 11s | |
| 8m 59s | |
| 0s | |
| 2h 23m 52s |
| Job | Run time |
|---|---|
| 17m 35s | |
| 16m 30s | |
| 4m 36s | |
| 4m 34s | |
| 5m 2s | |
| 7m 22s | |
| 5m 12s | |
| 3m 58s | |
| 15m 57s | |
| 8m 55s | |
| 9m 30s | |
| 8m 41s | |
| 8m 40s | |
| 9m 10s | |
| 9m 11s | |
| 8m 59s | |
| 0s | |
| 2h 23m 52s |