Skip to content

Return Ok on kill if process has already exited - #112594

Merged
bors merged 3 commits into
rust-lang:masterfrom
ChrisDenton:process=-kill
Jul 5, 2023
Merged

Return Ok on kill if process has already exited#112594
bors merged 3 commits into
rust-lang:masterfrom
ChrisDenton:process=-kill

Workaround for old android not having echo

9e5f61f
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs