Skip to content

[runner] Terminate the job's whole session, not just its shell - #4283

Merged
un-def merged 1 commit into
masterfrom
pr_runner_terminate_job_session
Sep 11, 2026
Merged

un-def merged 1 commit into
masterfrom
pr_runner_terminate_job_session

Commits

Commits on Sep 10, 2026