mangen: split option into options and global options #5795
Job | Run time |
---|---|
7s | |
53s | |
24s | |
17s | |
23s | |
11s | |
10s | |
27s | |
23s | |
21s | |
13s | |
33s | |
1m 13s | |
21s | |
5m 44s | |
24s | |
1m 50s | |
59s | |
1m 10s | |
1m 14s | |
46s | |
1s | |
18m 4s |
Job | Run time |
---|---|
7s | |
53s | |
24s | |
17s | |
23s | |
11s | |
10s | |
27s | |
23s | |
21s | |
13s | |
33s | |
1m 13s | |
21s | |
5m 44s | |
24s | |
1m 50s | |
59s | |
1m 10s | |
1m 14s | |
46s | |
1s | |
18m 4s |