yes: deal with UnicodeDecodeError in input(), fixes #6984 #4284
Job | Run time |
---|---|
6s | |
3m 2s | |
3m 8s | |
11m 28s | |
11m 30s | |
11m 48s | |
39m 58s | |
12m 37s | |
25m 32s | |
0s | |
1h 59m 9s |
Job | Run time |
---|---|
6s | |
3m 2s | |
3m 8s | |
11m 28s | |
11m 30s | |
11m 48s | |
39m 58s | |
12m 37s | |
25m 32s | |
0s | |
1h 59m 9s |