repl: redraw prompt after asynchronous console output #10856
| Job | Run time |
|---|---|
| 1m 50s | |
| 17s | |
| 36m 47s | |
| 46m 29s | |
| 27m 34s | |
| 34m 34s | |
| 29m 0s | |
| 28m 53s | |
| 27m 50s | |
| 28m 37s | |
| 28m 1s | |
| 28m 51s | |
| 5h 18m 43s |
| Job | Run time |
|---|---|
| 1m 50s | |
| 17s | |
| 36m 47s | |
| 46m 29s | |
| 27m 34s | |
| 34m 34s | |
| 29m 0s | |
| 28m 53s | |
| 27m 50s | |
| 28m 37s | |
| 28m 1s | |
| 28m 51s | |
| 5h 18m 43s |