Merge pull request #149 from junk0612/replace-new-lexer #536
Job | Run time |
---|---|
9s | |
20s | |
19s | |
10m 14s | |
14s | |
1m 31s | |
8m 46s | |
15s | |
8m 27s | |
14s | |
29s | |
40s | |
31s | |
32m 9s |
Job | Run time |
---|---|
9s | |
20s | |
19s | |
10m 14s | |
14s | |
1m 31s | |
8m 46s | |
15s | |
8m 27s | |
14s | |
29s | |
40s | |
31s | |
32m 9s |