Merge pull request #1372 from google/clippy-9 #1863
Job | Run time |
---|---|
8m 30s | |
6m 12s | |
4m 20s | |
15m 19s | |
5m 15s | |
5m 15s | |
1m 18s | |
1m 48s | |
6m 10s | |
13s | |
7m 22s | |
13s | |
10m 58s | |
11m 5s | |
11m 19s | |
10m 21s | |
14m 39s | |
2h 0m 17s |
Job | Run time |
---|---|
8m 30s | |
6m 12s | |
4m 20s | |
15m 19s | |
5m 15s | |
5m 15s | |
1m 18s | |
1m 48s | |
6m 10s | |
13s | |
7m 22s | |
13s | |
10m 58s | |
11m 5s | |
11m 19s | |
10m 21s | |
14m 39s | |
2h 0m 17s |