[ci babysitter] Add more output around timeout killing machinery (#11463)
commite1c6c78158cca4ef9732e6ac995af08076e5ce01
authorBernhard Urban <bernhard.urban@xamarin.com>
Wed, 31 Oct 2018 23:42:37 +0000 (1 00:42 +0100)
committerAlexander Köplinger <alex.koeplinger@outlook.com>
Wed, 31 Oct 2018 23:42:37 +0000 (1 00:42 +0100)
tree9f956db627549a3f9aff2bb1c634557afbb8715d
parente67699917c31201bf8e95c22a0751266a98fe607
[ci babysitter] Add more output around timeout killing machinery (#11463)
scripts/ci/babysitter