feat: change Type to Sort in Algebra/Classes
, fix some priorities (…
#6483
Job | Run time |
---|---|
22s | |
9s | |
11s | |
1h 10m 17s | |
6s | |
12s | |
1h 11m 17s |
Algebra/Classes
, fix some priorities (…
#6483
Job | Run time |
---|---|
22s | |
9s | |
11s | |
1h 10m 17s | |
6s | |
12s | |
1h 11m 17s |