Fix #1328: optimize JsonPointer.head()
(#1354)
#2373
Job | Run time |
---|---|
2m 4s | |
55s | |
1m 1s | |
53s | |
56s | |
1m 52s | |
0s | |
2s | |
2s | |
7m 45s |
JsonPointer.head()
(#1354)
#2373
Job | Run time |
---|---|
2m 4s | |
55s | |
1m 1s | |
53s | |
56s | |
1m 52s | |
0s | |
2s | |
2s | |
7m 45s |