Skip to content

Use optimized output for Clone and PartialOrd with custom bounds #419

Use optimized output for Clone and PartialOrd with custom bounds

Use optimized output for Clone and PartialOrd with custom bounds #419

Job Run time
1m 26s
1m 13s
1m 25s
14s
1m 6s
1m 28s
1m 6s
1m 29s
1m 7s
1m 27s
1m 5s
1m 29s
1m 5s
1m 6s
35s
10s
33s
12s
33s
19s
38s
11s
33s
17s
32s
12s
36s
20s
36s
17s
37s
17s
36s
17s
37s
18s
38s
16s
43s
16s
43s
16s
44s
18s
42s
16s
43s
16s
31m 53s