der: don't validate SetOf
ordering after sorting (#1481)
#3178
Job | Run time |
---|---|
48s | |
43s | |
0s | |
4m 20s | |
50s | |
4m 12s | |
37s | |
11m 30s |
SetOf
ordering after sorting (#1481)
#3178
Job | Run time |
---|---|
48s | |
43s | |
0s | |
4m 20s | |
50s | |
4m 12s | |
37s | |
11m 30s |