fix #2398: add the --drop-labels=
option
#3771
Job | Run time |
---|---|
48s | |
7m 37s | |
4m 43s | |
8m 52s | |
5m 12s | |
10m 53s | |
38m 5s |
--drop-labels=
option
#3771
Job | Run time |
---|---|
48s | |
7m 37s | |
4m 43s | |
8m 52s | |
5m 12s | |
10m 53s | |
38m 5s |