jenkins: kill potentially leftover processes (#24078)
* jenkins: kill potentially leftover processes * cleaner * oops * escape * might already be deadpull/24092/head
parent
a688811aa8
commit
d14791525d
1 changed files with 6 additions and 1 deletions
Loading…
Reference in new issue