jenkins: kill potentially leftover processes (#24078)
* jenkins: kill potentially leftover processes
* cleaner
* oops
* escape
* might already be dead
old-commit-hash: d14791525d
taco
parent
75069b1ece
commit
2229d4b02b
1 changed files with 6 additions and 1 deletions
Loading…
Reference in new issue