(WIP) Use define-deprecated-alias
for legacy aliases
#1605
Job | Run time |
---|---|
11s | |
10s | |
4m 8s | |
4m 23s | |
8m 52s |
define-deprecated-alias
for legacy aliases
#1605
Job | Run time |
---|---|
11s | |
10s | |
4m 8s | |
4m 23s | |
8m 52s |