Mark Statistics as an upgradable stdlib #3141
Job | Run time |
---|---|
49s | |
16m 0s | |
16m 12s | |
18m 53s | |
22m 43s | |
35m 51s | |
22m 42s | |
43m 14s | |
36m 12s | |
32m 23s | |
42m 3s | |
4h 47m 2s |
Job | Run time |
---|---|
49s | |
16m 0s | |
16m 12s | |
18m 53s | |
22m 43s | |
35m 51s | |
22m 42s | |
43m 14s | |
36m 12s | |
32m 23s | |
42m 3s | |
4h 47m 2s |