refactor: Remove clone in ExtensionSet::union
#2877
Job | Run time |
---|---|
1m 18s | |
1m 19s | |
55s | |
1m 19s | |
1m 13s | |
1m 20s | |
1m 52s | |
9m 16s |
ExtensionSet::union
#2877
Job | Run time |
---|---|
1m 18s | |
1m 19s | |
55s | |
1m 19s | |
1m 13s | |
1m 20s | |
1m 52s | |
9m 16s |