Revert "Cleanup handle_worker() in preparation for #2815 (Stop generation early) (#3573)"
#5864
| Job | Run time |
|---|---|
| 2m 14s | |
| 2m 14s |
handle_worker() in preparation for #2815 (Stop generation early) (#3573)"
#5864
| Job | Run time |
|---|---|
| 2m 14s | |
| 2m 14s |