Merge pull request #92 from trilitech/palmer@functori@reduce-updating… #375
Job | Run time |
---|---|
7s | |
44s | |
48s | |
47s | |
47s | |
13s | |
10m 37s | |
12m 23s | |
10m 24s | |
10m 34s | |
47m 24s |
Job | Run time |
---|---|
7s | |
44s | |
48s | |
47s | |
47s | |
13s | |
10m 37s | |
12m 23s | |
10m 24s | |
10m 34s | |
47m 24s |