Fix use of deprecated std::char_traits<unsigned short>::length #352
| Job | Run time |
|---|---|
| 5m 33s | |
| 50m 48s | |
| 50m 54s | |
| 4m 12s | |
| 9m 19s | |
| 12m 53s | |
| 6m 26s | |
| 54m 26s | |
| 59m 25s | |
| 20m 39s | |
| 5s | |
| 4h 34m 40s |
| Job | Run time |
|---|---|
| 5m 33s | |
| 50m 48s | |
| 50m 54s | |
| 4m 12s | |
| 9m 19s | |
| 12m 53s | |
| 6m 26s | |
| 54m 26s | |
| 59m 25s | |
| 20m 39s | |
| 5s | |
| 4h 34m 40s |