sped up Tokenizer::dump()
#11831
Job | Run time |
---|---|
14m 0s | |
11m 26s | |
12m 7s | |
12m 9s | |
4m 16s | |
4m 26s | |
2m 53s | |
3m 54s | |
2m 56s | |
3m 15s | |
1h 11m 22s |
Tokenizer::dump()
#11831
Job | Run time |
---|---|
14m 0s | |
11m 26s | |
12m 7s | |
12m 9s | |
4m 16s | |
4m 26s | |
2m 53s | |
3m 54s | |
2m 56s | |
3m 15s | |
1h 11m 22s |