[v5] Updated Uses of Seq.Append (#290) #924
Job | Run time |
---|---|
48s | |
35s | |
49s | |
48s | |
46s | |
47s | |
47s | |
33s | |
47s | |
49s | |
25s | |
1s | |
34s | |
32s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
48s | |
1s | |
33s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
10m 40s |
Job | Run time |
---|---|
48s | |
35s | |
49s | |
48s | |
46s | |
47s | |
47s | |
33s | |
47s | |
49s | |
25s | |
1s | |
34s | |
32s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
48s | |
1s | |
33s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
10m 40s |