add timeout_worker_is_alive as an option for main.run. #4187
| Job | Run time |
|---|---|
| 3m 41s | |
| 2m 1s | |
| 2m 57s | |
| 3m 47s | |
| 2m 4s | |
| 2m 3s | |
| 4m 43s | |
| 2m 3s | |
| 2m 0s | |
| 3m 54s | |
| 2m 3s | |
| 2m 2s | |
| 3m 11s | |
| 2m 11s | |
| 2m 7s | |
| 4m 54s | |
| 2m 16s | |
| 13m 38s | |
| 1h 1m 35s |
| Job | Run time |
|---|---|
| 3m 41s | |
| 2m 1s | |
| 2m 57s | |
| 3m 47s | |
| 2m 4s | |
| 2m 3s | |
| 4m 43s | |
| 2m 3s | |
| 2m 0s | |
| 3m 54s | |
| 2m 3s | |
| 2m 2s | |
| 3m 11s | |
| 2m 11s | |
| 2m 7s | |
| 4m 54s | |
| 2m 16s | |
| 13m 38s | |
| 1h 1m 35s |