Allow tab_width
to be configable (#7016)
#58
Job | Run time |
---|---|
21s | |
6m 32s | |
2m 16s | |
12m 45s | |
5m 53s | |
9m 19s | |
3m 56s | |
1m 30s | |
12s | |
2m 12s | |
1m 40s | |
1m 57s | |
1m 16s | |
3m 40s | |
0s | |
53m 29s |
tab_width
to be configable (#7016)
#58
Job | Run time |
---|---|
21s | |
6m 32s | |
2m 16s | |
12m 45s | |
5m 53s | |
9m 19s | |
3m 56s | |
1m 30s | |
12s | |
2m 12s | |
1m 40s | |
1m 57s | |
1m 16s | |
3m 40s | |
0s | |
53m 29s |