add timeout_worker_is_alive as an option for main.run. #4140
| Job | Run time |
|---|---|
| 2m 2s | |
| 2m 15s | |
| 2m 0s | |
| 2m 3s | |
| 2m 11s | |
| 2m 18s | |
| 2m 2s | |
| 2m 8s | |
| 2m 2s | |
| 2m 1s | |
| 1s | |
| 2m 5s | |
| 2m 4s | |
| 2m 10s | |
| 2m 0s | |
| 2m 4s | |
| 2m 8s | |
| 2m 4s | |
| 2m 4s | |
| 2m 6s | |
| 1m 58s | |
| 2m 1s | |
| 2m 12s | |
| 2m 14s | |
| 2m 3s | |
| 2m 4s | |
| 2m 4s | |
| 2m 8s | |
| 2m 5s | |
| 2m 2s | |
| 2m 5s | |
| 2m 14s | |
| 2m 11s | |
| 2m 16s | |
| 2m 1s | |
| 1s | |
| 1h 11m 27s |