Make tokenTypeOf
more precise (#325)
#117
Job | Run time |
---|---|
14m 12s | |
17m 44s | |
18m 57s | |
21m 58s | |
20m 49s | |
19m 57s | |
19m 21s | |
22m 7s | |
2h 35m 5s |
tokenTypeOf
more precise (#325)
#117
Job | Run time |
---|---|
14m 12s | |
17m 44s | |
18m 57s | |
21m 58s | |
20m 49s | |
19m 57s | |
19m 21s | |
22m 7s | |
2h 35m 5s |