lib/json: encode floating point numbers with a decimal point #369
Job | Run time |
---|---|
21s | |
28s | |
25s | |
22s | |
49s | |
27s | |
20s | |
19s | |
50s | |
1m 57s | |
3m 24s | |
2m 50s | |
12m 32s |
Job | Run time |
---|---|
21s | |
28s | |
25s | |
22s | |
49s | |
27s | |
20s | |
19s | |
50s | |
1m 57s | |
3m 24s | |
2m 50s | |
12m 32s |