Merge pull request #7816 from radarhere/type_hints #7316
Job | Run time |
---|---|
5m 53s | |
4m 48s | |
3m 30s | |
3m 45s | |
3m 32s | |
3m 24s | |
7m 55s | |
7m 22s | |
4m 23s | |
4m 41s | |
4m 54s | |
4m 24s | |
4m 16s | |
4m 11s | |
6m 47s | |
5m 13s | |
1s | |
1h 18m 59s |
Job | Run time |
---|---|
5m 53s | |
4m 48s | |
3m 30s | |
3m 45s | |
3m 32s | |
3m 24s | |
7m 55s | |
7m 22s | |
4m 23s | |
4m 41s | |
4m 54s | |
4m 24s | |
4m 16s | |
4m 11s | |
6m 47s | |
5m 13s | |
1s | |
1h 18m 59s |