der: don't validate SetOf
ordering after sorting (#1481)
#3060
This job succeeded
Loading
SetOf
ordering after sorting (#1481)
#3060