Better unicode support #238
| Job | Run time |
|---|---|
| 43m 18s | |
| 47m 17s | |
| 55m 29s | |
| 52m 57s | |
| 55m 32s | |
| 1h 6m 55s | |
| 47m 20s | |
| 1h 15m 14s | |
| 53m 29s | |
| 1h 37m 51s | |
| 1h 11m 30s | |
| 1h 15m 43s | |
| 1h 2m 35s | |
| 1h 29m 59s | |
| 18s | |
| 18s | |
| 2h 29m 32s | |
| 1h 56m 8s | |
| 2h 33m 26s | |
| 2h 27m 9s | |
| 18s | |
| 18s | |
| 14s | |
| 17s | |
| 17s | |
| 17s | |
| 18s | |
| 2h 41m 13s | |
| 2h 20m 40s | |
| 2h 22m 34s | |
| 14s | |
| 2h 23m 26s | |
| 2h 40m 49s | |
| 2h 22m 7s | |
| 21s | |
| 15s | |
| 2h 56m 10s | |
| 31s | |
| 1d 18h 12m 19s |