Merge pull request #7716 from radarhere/type_hints #1873
Job | Run time |
---|---|
17m 31s | |
10m 27s | |
8m 30s | |
4m 31s | |
5m 25s | |
6m 29s | |
7m 28s | |
4m 21s | |
15m 6s | |
13m 3s | |
8m 55s | |
8m 44s | |
8m 40s | |
8m 43s | |
8m 41s | |
8m 40s | |
1s | |
2h 25m 15s |
Job | Run time |
---|---|
17m 31s | |
10m 27s | |
8m 30s | |
4m 31s | |
5m 25s | |
6m 29s | |
7m 28s | |
4m 21s | |
15m 6s | |
13m 3s | |
8m 55s | |
8m 44s | |
8m 40s | |
8m 43s | |
8m 41s | |
8m 40s | |
1s | |
2h 25m 15s |