Skip to content

Run processes in new process groups, kill process group instead of process - #787

Closed
dentarg wants to merge 1 commit into
ddollar:masterfrom
spinels:pgroup
Closed

Run processes in new process groups, kill process group instead of process#787
dentarg wants to merge 1 commit into
ddollar:masterfrom
spinels:pgroup

Run processes in new pgroup

b198ca1
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs