Mark Statistics as an upgradable stdlib #3180
Job | Run time |
---|---|
3m 41s | |
3m 41s | |
18m 26s | |
18m 55s | |
20m 27s | |
18m 45s | |
20m 57s | |
24m 26s | |
22m 6s | |
20m 29s | |
31m 35s | |
28m 11s | |
23m 59s | |
26m 0s | |
43m 25s | |
41m 44s | |
35m 32s | |
33m 40s | |
43m 52s | |
43m 39s | |
48m 49s | |
34m 23s | |
10h 6m 42s |