Skip to content

Interactive waiting jobs with lost session should be killed (#143)#144

Merged
bzizou merged 1 commit into
masterfrom
lost_session
Jun 15, 2026
Merged

Interactive waiting jobs with lost session should be killed (#143)#144
bzizou merged 1 commit into
masterfrom
lost_session

Commits

Commits on Jun 12, 2026