You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Fix pipe jobs immediately failing due to stale server_job_ids snapshot (#869)
Pipe job IDs submitted during the scheduler label loop weren't in the
server_job_ids list (fetched earlier in the same iteration), causing
poll_pipes to conclude the scheduler job was gone and mark all tasks
FAILED TERMINAL
Append the job ID to server_job_ids on both initial submission and
resubmission so _is_scheduler_job_alive sees it immediately.
0 commit comments