Merge pull request #7724 from radarhere/type_hints_sgi #7096
Job | Run time |
---|---|
11m 18s | |
12m 50s | |
7m 0s | |
6m 57s | |
7m 18s | |
7m 20s | |
8m 36s | |
7m 55s | |
1s | |
1h 9m 15s |
Job | Run time |
---|---|
11m 18s | |
12m 50s | |
7m 0s | |
6m 57s | |
7m 18s | |
7m 20s | |
8m 36s | |
7m 55s | |
1s | |
1h 9m 15s |