Better unicode support #231
| Job | Run time |
|---|---|
| 43m 20s | |
| 1h 5m 40s | |
| 47m 15s | |
| 55m 9s | |
| 54m 46s | |
| 1h 15m 7s | |
| 52m 33s | |
| 1h 10m 39s | |
| 46m 46s | |
| 52m 21s | |
| 1h 37m 19s | |
| 1h 10m 53s | |
| 1h 3m 47s | |
| 1h 27m 55s | |
| 1h 29m 30s | |
| 2h 40m 59s | |
| 2h 41m 48s | |
| 2h 36m 40s | |
| 2h 30m 44s | |
| 2h 23m 27s | |
| 2h 51m 40s | |
| 1h 57m 27s | |
| 2h 21m 56s | |
| 2h 50m 11s | |
| 2h 36m 5s | |
| 2h 44m 38s | |
| 3h 9m 0s | |
| 2h 36m 10s | |
| 2h 32m 26s | |
| 3h 3m 54s | |
| 2h 28m 22s | |
| 2h 27m 50s | |
| 2h 27m 26s | |
| 2h 24m 30s | |
| 2h 23m 50s | |
| 2h 17m 28s | |
| 1h 48m 15s | |
| 28s | |
| 3d 0h 8m 14s |