der: don't validate SetOf
ordering after sorting (#1481)
#1526
Job | Run time |
---|---|
29s | |
1m 30s | |
30s | |
1m 7s | |
20s | |
36s | |
1m 9s | |
5m 41s |
SetOf
ordering after sorting (#1481)
#1526
Job | Run time |
---|---|
29s | |
1m 30s | |
30s | |
1m 7s | |
20s | |
36s | |
1m 9s | |
5m 41s |